]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_const.ml
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
[helm.git] / helm / ocaml / getter / http_getter_const.ml
index 3eb3e71593d62da04edf32dc898a1bf17b6af9c1..c31942ea9cfb4812f04fb1a607ef9862f1cd4e83 100644 (file)
@@ -83,13 +83,13 @@ let usage_string configuration =
       <b><kbd><a href=\"clean_cache\">clean_cache</a></kbd></b><br />
     </p>
     <p>
-      <b><kbd>getalluris?format=(txt|xml)</kbd></b><br />
+      <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=URI&format=(txt|xml)</kbd></b><br />
+      <b><kbd>ls?baseuri=regexp&format=(txt|xml)</kbd></b><br />
     </p>
     <p>
       <b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />