X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=8103efcfa3cbffb8adb96d40f8abb2184227eb12;hb=6355ac16ff3996e16d9d9cfb08e4184bc7962f8b;hp=944fc3ecab4e66ace659052edabb166a9d25a11d;hpb=ea4be3e2ab861e8569ee923aff9df23bb3fd8f43;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index 944fc3eca..8103efcfa 100644 --- a/helm/ocaml/getter/http_getter_const.ml +++ b/helm/ocaml/getter/http_getter_const.ml @@ -26,9 +26,11 @@ * http://helm.cs.unibo.it/ *) +(* $Id$ *) + 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" @@ -58,9 +60,6 @@ let usage_string configuration =
getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]
- register?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
-
- getalluris?format=(txt|xml)
-
- getallrdfuris
+ ls?baseuri=regexp&format=(txt|xml)
- ls?baseuri=regexp&format=(txt|xml)
+ getalluris?format=(txt|xml)