From 6aa351d0261715c3ad37c656bd00a93613951194 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 8 Feb 2005 15:35:52 +0000 Subject: [PATCH] added boxml namespace --- helm/ocaml/cic_transformations/misc.ml | 1 + helm/ocaml/cic_transformations/misc.mli | 8 +++++--- 2 files changed, 6 insertions(+), 3 deletions(-) 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 -- 2.39.2