1. helmns and domImpl moved to the misc module ;-(

[helm.git] / helm / gTopLevel / misc.ml

diff --git a/helm/gTopLevel/misc.ml b/helm/gTopLevel/misc.ml
index 139db60c85c7f15412a24329e5d5d68cd0c81d2c..15cd39f73d1c04a6fc586066b885b006cb73b6c5 100644 (file)
--- a/helm/gTopLevel/misc.ml
+++ b/helm/gTopLevel/misc.ml
@@ -94,3 +94,6 @@ let wrong_xpointer_format_from_wrong_xpointer_format' uri =
     baseuri ^ "#" ^ rest
  with Not_found -> uri
 ;;
+
+let domImpl = Gdome.domImplementation ();;
+let helmns = Gdome.domString "http://www.cs.unibo.it/helm";;