From 60c3f28ddca99fb1d7c364449e4841ef70208025 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 20 Jan 2005 10:26:58 +0000 Subject: [PATCH] - helmns -> helm_ns - added xlink_ns --- helm/ocaml/cic_transformations/misc.ml | 6 +++--- helm/ocaml/cic_transformations/misc.mli | 3 ++- 2 files changed, 5 insertions(+), 4 deletions(-) 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 -- 2.39.2