X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmisc.ml;h=56d54255623822103d0909f4f25c709310b442ce;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=e42a0c5f7d1117c8ced9e0e7f2fc30f94e27cb03;hpb=f7b2e35a7bdadb4fdf0e640428e694703ddf67a5;p=helm.git

diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml
index e42a0c5f7..56d542556 100644
--- a/helm/ocaml/cic_transformations/misc.ml
+++ b/helm/ocaml/cic_transformations/misc.ml
@@ -33,8 +33,11 @@
 (*                                                                            *)
 (******************************************************************************)
 
-let domImpl = Gdome.domImplementation ();;
-let helmns = Gdome.domString "http://www.cs.unibo.it/helm";;
+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
@@ -43,5 +46,4 @@ let strip_xml_headings =
   let xml_headings_RE = Pcre.regexp "^.*\n.*\n.*\n.*\n" in
   fun s ->
     Pcre.replace ~rex:xml_headings_RE s
-;;