]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_const.ml
first moogle template checkin
[helm.git] / helm / ocaml / getter / http_getter_const.ml
index a4eac83e5a36f5aed2bf75adf94c0e515d746e05..3eb3e71593d62da04edf32dc898a1bf17b6af9c1 100644 (file)
@@ -49,7 +49,7 @@ let usage_string configuration =
     Available commands:
     </p>
     <p>
-      <b><kbd>help</kbd></b><br />
+      <b><kbd><a href=\"/help\">help</a></kbd></b><br />
       display this help message
     </p>
     <p>
@@ -68,7 +68,7 @@ let usage_string configuration =
       <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
     </p>
     <p>
-      <b><kbd>list_servers</kbd></b><br />
+      <b><kbd><a href=\"/list_servers\">list_servers</a></kbd></b><br />
     </p>
     <p>
       <b><kbd>add_server?url=URL&position=POSITION</kbd></b><br />
@@ -77,22 +77,22 @@ let usage_string configuration =
       <b><kbd>remove_server?position=POSITION</kbd></b><br />
     </p>
     <p>
-      <b><kbd>update</kbd></b><br />
+      <b><kbd><a href=\"/update\">update</a></kbd></b><br />
     </p>
     <p>
-      <b><kbd>clean_cache</kbd></b><br />
+      <b><kbd><a href=\"clean_cache\">clean_cache</a></kbd></b><br />
     </p>
     <p>
-      <b><kbd>getalluris</kbd></b><br />
+      <b><kbd>getalluris?format=(txt|xml)</kbd></b><br />
     </p>
     <p>
-      <b><kbd>getallrdfuris</kbd></b><br />
+      <b><kbd><a href=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />
     </p>
     <p>
       <b><kbd>ls?baseuri=URI&format=(txt|xml)</kbd></b><br />
     </p>
     <p>
-      <b><kbd>getempty</kbd></b><br />
+      <b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />
     </p>
     <h2>Current configuration</h2>
     <pre>%s</pre>