[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