X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_debugger.mli;h=96f32183f868e9983b4195ee966778262898212b;hb=4adceafdaa4cd82c427ac9de494179c242e7ad28;hp=461e2a1a73f5d75c2799a8667704277675065746;hpb=384c369d4cbf5dd6cf1013902d3a218260400e73;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_debugger.mli b/helm/ocaml/getter/http_getter_debugger.mli
index 461e2a1a7..96f32183f 100644
--- a/helm/ocaml/getter/http_getter_debugger.mli
+++ b/helm/ocaml/getter/http_getter_debugger.mli
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(** {2 Debugger and logger} *)
+
   (** enable/disable debugging messages *)
 val debug: bool ref