X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fmisc.ml;h=15cd39f73d1c04a6fc586066b885b006cb73b6c5;hb=7fedf47037503b281d078eef6de13927020eb410;hp=139db60c85c7f15412a24329e5d5d68cd0c81d2c;hpb=279178e6812c3fc9d376b5e3c919d59c486d6da3;p=helm.git

diff --git a/helm/gTopLevel/misc.ml b/helm/gTopLevel/misc.ml
index 139db60c8..15cd39f73 100644
--- 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";;