]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_const.ml
new getter implementation: no more DBM maps
[helm.git] / helm / ocaml / getter / http_getter_const.ml
index f12d20f77bd8e79cd207b986c44c9f1a5595bf1c..b9b0ce7a759aceda76cf95fc8c94bc8abbdfeecd 100644 (file)
@@ -28,7 +28,7 @@
 
 open Printf;;
 
-let version = "0.3.0"
+let version = "0.4.0"
 let conffile = "http_getter.conf.xml"
 
 let xhtml_ns = "http://www.w3.org/1999/xhtml"
@@ -88,12 +88,6 @@ let usage_string configuration =
     <p>
       <b><kbd><a href=\"clean_cache\">clean_cache</a></kbd></b><br />
     </p>
-    <p>
-      <b><kbd>getalluris?format=(<a href=\"getalluris?format=txt\">txt</a>|<a href=\"getalluris?format=xml\">xml</a>)</kbd></b><br />
-    </p>
-    <p>
-      <b><kbd><a href=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />
-    </p>
     <p>
       <b><kbd>ls?baseuri=regexp&amp;format=(txt|xml)</kbd></b><br />
     </p>