[Om3] Generating content Operator overview from the joint CDs

[Michael Kohlhase]

-----BEGIN PGP SIGNED MESSAGE-----
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
http://svn.openmath.org/OpenMath3/cd/MathML/

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 :-).

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

iD8DBQFHlHw6ZHgDH8vPYeARAo5UAKDGVLMUUAJHeURHldkk74ly0gqSkgCg4SFC
CDRbme2kweoP3e8lZZ2xuaE=
=gmtr
-----END PGP SIGNATURE-----