From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 Jan 2005 10:26:58 +0000 (+0000)
Subject: - helmns -> helm_ns
X-Git-Tag: V_0_1_0~118
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=60c3f28ddca99fb1d7c364449e4841ef70208025;p=helm.git

- helmns -> helm_ns
- added xlink_ns
---

diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml
index e42a0c5f7..98f680d8d 100644
--- a/helm/ocaml/cic_transformations/misc.ml
+++ b/helm/ocaml/cic_transformations/misc.ml
@@ -33,8 +33,9 @@
 (*                                                                            *)
 (******************************************************************************)
 
-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"
 
   (* TODO BRRRRR .... *)
   (** strip first 4 line of a string, used to strip xml declaration and doctype
@@ -43,5 +44,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
-;;
 
diff --git a/helm/ocaml/cic_transformations/misc.mli b/helm/ocaml/cic_transformations/misc.mli
index 946447c43..27d55fa2b 100644
--- a/helm/ocaml/cic_transformations/misc.mli
+++ b/helm/ocaml/cic_transformations/misc.mli
@@ -36,7 +36,8 @@
 (* TODO rename this module into at least something like CicMisc *)
 
 val domImpl : Gdome.domImplementation
-val helmns : Gdome.domString
+val helm_ns : Gdome.domString   (** HELM namespace *)
+val xlink_ns : Gdome.domString  (** XLink namespace *)
 
 val strip_xml_headings: string -> string