From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 1 Feb 2005 17:55:53 +0000 (+0000)
Subject: added mathml_ns
X-Git-Tag: V_0_1_0~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2e20f3cf00bfbb93b8ca9419aa36d22ddec49815;p=helm.git

added mathml_ns
---

diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml
index 98f680d8d..ec983d106 100644
--- a/helm/ocaml/cic_transformations/misc.ml
+++ b/helm/ocaml/cic_transformations/misc.ml
@@ -36,6 +36,7 @@
 let domImpl = Gdome.domImplementation ()
 let helm_ns = Gdome.domString "http://www.cs.unibo.it/helm"
 let xlink_ns = Gdome.domString "http://www.w3.org/1999/xlink"
+let mathml_ns = Gdome.domString "http://www.w3.org/1998/Math/MathML"
 
   (* TODO BRRRRR .... *)
   (** strip first 4 line of a string, used to strip xml declaration and doctype
diff --git a/helm/ocaml/cic_transformations/misc.mli b/helm/ocaml/cic_transformations/misc.mli
index 27d55fa2b..d2bf22835 100644
--- a/helm/ocaml/cic_transformations/misc.mli
+++ b/helm/ocaml/cic_transformations/misc.mli
@@ -38,6 +38,7 @@
 val domImpl : Gdome.domImplementation
 val helm_ns : Gdome.domString   (** HELM namespace *)
 val xlink_ns : Gdome.domString  (** XLink namespace *)
+val mathml_ns: Gdome.domString  (** MathML namespace *)
 
 val strip_xml_headings: string -> string