[om] Phrasebook
Juergen Zimmer
jzimmer at ags.uni-sb.de
Fri Aug 30 16:23:00 CEST 2002
Dear Brian Palmer,
> existing stylesheets available, I'd be glad to use those instead, but
> otherwise, I'll make mine publically available when I'm finished..
There is a stylesheet to transform OMDoc (an extension of OpenMath
http://www.mathweb.org/omdoc/index.html) to presentation MathML. But it
seems to be 2 years old and not very sophisticated. It's been written by
Michael Kohlhase. You should contact him (kohlhase+ at cs.cmu.edu) for
further questions.
http://www.mathweb.org/omdoc/xsl/omdoc2pmml.xsl
I hope that helps somehow...
Cheers
Jürgen
--
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om
mailing list