From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 8 Feb 2005 15:35:52 +0000 (+0000)
Subject: added boxml namespace
X-Git-Tag: before_svn_merge~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6aa351d0261715c3ad37c656bd00a93613951194;p=helm.git

added boxml namespace
---

diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml
index ec983d106..56d542556 100644
--- a/helm/ocaml/cic_transformations/misc.ml
+++ b/helm/ocaml/cic_transformations/misc.ml
@@ -37,6 +37,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"
+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
diff --git a/helm/ocaml/cic_transformations/misc.mli b/helm/ocaml/cic_transformations/misc.mli
index d2bf22835..d0779d1e7 100644
--- a/helm/ocaml/cic_transformations/misc.mli
+++ b/helm/ocaml/cic_transformations/misc.mli
@@ -36,9 +36,11 @@
 (* TODO rename this module into at least something like CicMisc *)
 
 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 helm_ns   : Gdome.domString   (** HELM namespace *)
+val xlink_ns  : Gdome.domString   (** XLink namespace *)
+val mathml_ns : Gdome.domString   (** MathML namespace *)
+val boxml_ns  : Gdome.domString   (** BoxML namespace *)
 
 val strip_xml_headings: string -> string