[Om3] Using SWiM for editing content dictionaries/notation definitions

[Christoph Lange]

Dear all,

  as most of you may know, I'm working on a semantic wiki for mathematical 
documents (SWiM, see http://kwarc.info/projects/swim/).  We have already 
integrated MathML-3-style notation definitions there, and I'm working on the 
editing of content dictionaries.  This might come in handy for you, as 
Michael told me that work on the OpenMath 3 content dictionaries will start 
in January.  Editing content dictionaries there could be quite convenient as 
it gives immediate visual feedback whether notation definitions work.

I plan to support all required features (editing, rendering, document 
import/export) by mid-January and will keep you posted.  For now, please try 
the demo at http://swim.kwarc.info, where support standard content 
dictionaries are hard-coded and new symbols can only be defined in the same 
document, but that should give you an idea.

And, first of all, have a merry Christmas :-)

Best,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701