<option value="MC,metadataControl.xsl,true">Stylesheet to create links to metadata</option>
<option value="MGL,makeGraphLinks.xsl,true">Add hyperlink menus to graphs</option>
<option value="MMG,mk_meta_graph.xsl,true">Make graph of backward dependencies</option>
<option value="MDG,mk_dep_graph.xsl,true">Make graph of dependencies</option>
<option value="HAT,hanane_textedepreuve2omdoc.xsl,true">Proof-Trees ==> OMDoc</option>
<option value="HAO,hanane_omdoc2xhtml.xsl,true">OMDoc ==> XHTML+MathML</option>
<option value="MC,metadataControl.xsl,true">Stylesheet to create links to metadata</option>
<option value="MGL,makeGraphLinks.xsl,true">Add hyperlink menus to graphs</option>
<option value="MMG,mk_meta_graph.xsl,true">Make graph of backward dependencies</option>
<option value="MDG,mk_dep_graph.xsl,true">Make graph of dependencies</option>
<option value="HAT,hanane_textedepreuve2omdoc.xsl,true">Proof-Trees ==> OMDoc</option>
<option value="HAO,hanane_omdoc2xhtml.xsl,true">OMDoc ==> XHTML+MathML</option>