From 2e20f3cf00bfbb93b8ca9419aa36d22ddec49815 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 1 Feb 2005 17:55:53 +0000 Subject: [PATCH] added mathml_ns --- helm/ocaml/cic_transformations/misc.ml | 1 + helm/ocaml/cic_transformations/misc.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml index 98f680d8d..ec983d106 100644 --- a/helm/ocaml/cic_transformations/misc.ml +++ b/helm/ocaml/cic_transformations/misc.ml @@ -36,6 +36,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" (* 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 27d55fa2b..d2bf22835 100644 --- a/helm/ocaml/cic_transformations/misc.mli +++ b/helm/ocaml/cic_transformations/misc.mli @@ -38,6 +38,7 @@ 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 strip_xml_headings: string -> string -- 2.39.2