(* *)
(******************************************************************************)
+(* 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 mathml_ns : Gdome.domString (** MathML namespace *)
+val boxml_ns : Gdome.domString (** BoxML namespace *)
val strip_xml_headings: string -> string