Transforming OMDoc by XSLT Style Sheets

In the introduction we have stated that one of the design intentions behind

OMDoc

is to separate content from presentation, and leave the latter to the user. In this section, we will briefly touch upon presentation issues. The technical side of this is simple:

OMDoc

documents are regular XML documents that can be processed by XSLT style sheets [XSL99] to produce the desired output formats. There are several high-quality XSLT transformers freely available including

saxon

[Kay],

xalan

[Fou], and

xsltproc

[Veib]. Moreover, XSLT is natively supported by the newest versions of the browsers MS Internet Explorer [Cor] and

Mozilla

[Org].

XSLT style sheets can be used for several tasks in maintaining

OMDoc

, such as for instance converting other XML-based input formats into

OMDoc

(e.g.

cd2omdoc.xsl

for converting

OpenMath

content dictionaries into

OMDoc

format), or migrating between different versions of

OMDoc

e.g. the style sheet

omdoc1.1adapt1.2.xsl

that operationalizes all the syntax changes from Version 1.1 to version 1.2 (see Appendix A for a tabulation). We will now review a set of XSLT style sheets for

OMDoc

, they can be found in the

OMDoc

distribution (see Section 23.2) or on the web at [Kohg].