]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_const.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / getter / http_getter_const.mli
index 894ccd645db914dcaa6d956b792aa6e5c079c66c..d532313f08b3dcd4a341b14a54ed0baf208eb63a 100644 (file)
@@ -30,6 +30,9 @@ val version: string
 val conffile: string
 val empty_xml: string
 
+val helm_ns: string     (** helm namespace *)
+val xhtml_ns: string    (** xhtml namespace *)
+
   (** @return an HTML usage string including configuration information passed as
   input parameter *)
 val usage_string: string -> string