OMDoc/XSLT

XSLT style sheets transforming OMDoc documents to …


 * XHTML+Presentation MathML
 * XHTML (deprecated)
 * TeX (unmaintained)
 * … or other formats (representation formats of theorem provers, too).

Developers
After major changes, run make on omdoc/examples.