OMDoc client

From MathWeb

Jump to: navigation, search

Ideas for OMDoc/MBase clients

  • Light weight: Browser plus JavaScript (casual user) for OMDoc editing and interaction with KB; SWiM as front end
  • Use eclipse technology to build up a rich client
    • ProofGeneral ported Eclipse (Christoph Lüth)
    • We should get used to this framework in order to setup a rich client consisting of SWiM/lectora/CDET/locutor
Retrieved from "http://www.mathweb.org/wiki/OMDoc_client"
Facts about OMDoc clientRDF feed
Based onOMDoc  +
Personal tools
MathWeb
Structures