- let dictionary =
- Misc.domImpl#createDocumentFromURI
- "/home/claudio/miohelm/helm/DEVEL/mathml_editor/dictionary-tex.xml" () in
- let mml_style =
- Misc.domImpl#createDocumentFromURI
- "/home/claudio/miohelm/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl" () in
- let tex_style =
- Misc.domImpl#createDocumentFromURI
- "/home/claudio/miohelm/helm/DEVEL/mathml_editor/xsl/tml-tex.xsl" () in