X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.mli;h=d532313f08b3dcd4a341b14a54ed0baf208eb63a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=894ccd645db914dcaa6d956b792aa6e5c079c66c;hpb=384c369d4cbf5dd6cf1013902d3a218260400e73;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_const.mli b/helm/ocaml/getter/http_getter_const.mli
index 894ccd645..d532313f0 100644
--- a/helm/ocaml/getter/http_getter_const.mli
+++ b/helm/ocaml/getter/http_getter_const.mli
@@ -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