X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=00fff4f378f815e8a2668c0d4f11b131e488dbf2;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b9b0ce7a759aceda76cf95fc8c94bc8abbdfeecd;hpb=a3fb06e72407e3590fa60a74ac5fec01e6bfe1f9;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index b9b0ce7a7..00fff4f37 100644 --- a/helm/ocaml/getter/http_getter_const.ml +++ b/helm/ocaml/getter/http_getter_const.ml @@ -58,12 +58,6 @@ let usage_string configuration =
getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]
- register?uri=URI&url=URL
-
- unregister?uri=URI&url=URL
-
resolve?uri=URI
getxslt?uri=URI[&patch_dtd=(yes|no)]
- list_servers
-
- add_server?url=URL&position=POSITION
-
- remove_server?position=POSITION
-
ls?baseuri=regexp&format=(txt|xml)