[Om3] Generating content Operator overview from the joint CDs

Michael Kohlhase m.kohlhase at jacobs-university.de
Mon Jan 21 12:04:27 CET 2008

Hash: SHA1

Dear all,

I have made the first steps towards generating the content element
overview in section 4.4. of the MathML3 spec from the CDS at

The scheme is simple, we apply the style sheet cd2overview.xsl to the
file cds.xml there and copy the result over to the W3C cvs (and commit
it there).

For section 4.4 I currently copy the CD description and the symbol
descriptions over. Any examples that should be copied over (I have just
two in arith1.ocd for testing must be specified in cds.html.

We have started merging MathML2 stuff into OpenMath2 CD stuff, so that
we have more to copy from, but this process is not finished yet. I am
also moving over information about the pragmatic MathML3 into the CDs,
so that we can probably get more information about the elements into
4.4. So stay tuned for more (maybe you want to help editing the CDs :-).

- --
- ----------------------------------------------------------------------
 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
- ----------------------------------------------------------------------
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org


More information about the Om3 mailing list