Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
adapt
doc
exsl
html
om
pmml
share
sys
tex
util
varia
Makefile
cmml2om.xsl
cont2pres.xsl
ctop.xsl
exincl.xsl
expres.xsl
locale-default.xml
mathml.xsl
omdoc2cmml.xsl
omdoc2html.xsl
omdoc2pmml.xsl
omdoc2share.xsl
omdoc2slides.xsl
omdoc2tex.xsl
omobj-pmml.xsl
p2cmml.xsl
parse.xsl
pmathml.xsl
pmathmlcss.xsl
readme
theory-graph-term.xsl

readme

XSLT 1.0 style sheets for OMDoc 1.2

These style sheets are implemented in XSLT 1.0 with the exslt extensions and tested
with xsltproc 1.x.  An XSLT 2.0 implementation of the style sheets for OMDoc 1.2 is
no longer maintained.  Please use the XSLT 2.0 style sheets from the OMDoc trunk 
(a.k.a. OMDoc 1.8). -- Christoph Lange, 2008/01/08

file-name			function		person in charge/creator
==================================================================================
Transformers for Humans (HTML,TeX/LaTeX, Mathematica Notebooks)
==================================================================================
omdoc2pmml.xsl         transforms omdoc to XHTML+MathML                  (kohlhase)
omdoc2html.xsl         transforms omdoc to html for any browser (kohlhase, cullrich)
omdoc2latex.xsl        tries to be a partial inverse to                  (kohlhase)
                       latex2omdoc.sty  
omdoc2tex.xsl                  OpenMath --> TeX (needs renovation)       (kohlhase)
omdoc2nb.xsl           mathematica notebooks                             (kohlhase)
omdoc2share.xsl        common basis for the stylesheets above            (kohlhase)
expres.xsl             extracts a style sheet xxx-yyy.xsl for xxx.omdoc
                       using the presentation elements  		 (kohlhase)
xxx-yyy.xsl            style-sheet specialized for transforming 
                       xxx.omdoc to format yyy                           (expres.xsl)
locale.xml             contains the localized keywords for omdoc2yyy.xsl (kohlhase)
localeView.xsl         converts locale.xml into a html table             (libbrecht)
omobj-pmml.xsl         converts OpenMath objects to Presentation         (carlisle
                       MathML                                             caprotti)
==================================================================================
Transformers to OpenMath
==================================================================================
omdoc2cd.xsl                extracts content dictionaries from omdoc    (kohlhase)
cd2omdoc.xsl                the other way around,                       (kohlhase)
			    needs some handling of defmps
omdoc2defmp.xsl             extracts content dictionaries from omdoc    (kohlhase)
omdoc2sigpost.xsl           extracts signature files                    (kohlhase)
                            (of the POST type system)
==================================================================================
Transformers to input syntax for mathematical services
==================================================================================
omdoc2post.xsl              extracts POST, the OMEGA representation      (pollet)
omdoc2dgrl.xsl              extracts DGRL, the INKA representation       (autexier)
omdoc2tps.xsl               extracts TPS logic                           (kohlhase)
omdoc2lclam.xsl             extracts LambdaClam logic                    (kohlhase)