[Om3] MathML CD import

Michael Kohlhase m.kohlhase at jacobs-university.de
Sat Jan 5 16:47:07 CET 2008

Dear all,

I have moved the MathML CDs into the OpenMath3 cds dictionaries, so that
we can use them as a quarry for the eventual joined CD set. Look at the

*.mts files for type information (to be checked against the *.sts files)
*.mtn files for rendering information (to be checked against the *.ntn
*.mcd files for the rest (to be incorporated into the *.ocd files)

We should think about how we really want to use this information, and
how to divide the work.


 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

More information about the Om3 mailing list