checked in new version of matita from svn

[helm.git] / helm / ocaml / cic_transformations / misc.ml

diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml
index 98f680d8dbdf12060531239def535d6bc3aca656..56d54255623822103d0909f4f25c709310b442ce 100644 (file)
--- a/helm/ocaml/cic_transformations/misc.ml
+++ b/helm/ocaml/cic_transformations/misc.ml
@@ -36,6 +36,8 @@
 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"
+let boxml_ns = Gdome.domString "http://helm.cs.unibo.it/2003/BoxML"
 
   (* TODO BRRRRR .... *)
   (** strip first 4 line of a string, used to strip xml declaration and doctype