From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 1 Feb 2005 11:46:31 +0000 (+0000)
Subject: added the unregister method to the help page
X-Git-Tag: V_0_1_0~78
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3c926cbca1a642526ad4150ef2304b312cf3c088;p=helm.git

added the unregister method to the help page
---

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index 944fc3eca..f12d20f77 100644
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -61,6 +61,9 @@ let usage_string configuration =
     <p>
       <b><kbd>register?uri=URI&amp;url=URL</kbd></b><br />
     </p>
+    <p>
+      <b><kbd>unregister?uri=URI&amp;url=URL</kbd></b><br />
+    </p>
     <p>
       <b><kbd>resolve?uri=URI</kbd></b><br />
     </p>