[Om3] Progress

[Michael Kohlhase]

Dear all,

we have restructured the OM repository a bit, and you can find all you
need at https://svn.openmath.org/OpenMath3. In particular, the MathML
content dictionaries, and (new!) the notation definitions (in the
xxx.ntn files for the moment).

The next steps will be to discuss the OpenMath3 content dictionary
format in the light of the MathML3 requirements. Do we want to revise
the CD format at all for OM3?

Please also register an account in the trac issue tracker
(https://trac.mathweb.org/OM3), since some of the technical discussions
are moving into that system, see for instance
https://trac.mathweb.org/OM3/ticket/11,
https://trac.mathweb.org/OM3/ticket/10, and
https://trac.mathweb.org/OM3/ticket/8.

Michael


-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------