X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_const.ml;h=2b2ba79baf6ef90e58fb56c55b658025d549ced9;hb=b161347767b1cb67c4f5b115e4414b85ac4b2183;hp=8103efcfa3cbffb8adb96d40f8abb2184227eb12;hpb=86a71ccae1c961d563fb1ca2ceff3866dab4c065;p=helm.git diff --git a/matita/components/getter/http_getter_const.ml b/matita/components/getter/http_getter_const.ml index 8103efcfa..2b2ba79ba 100644 --- a/matita/components/getter/http_getter_const.ml +++ b/matita/components/getter/http_getter_const.ml @@ -39,8 +39,8 @@ let helm_ns = "http://www.cs.unibo.it/helm" (* TODO provide a better usage string *) let usage_string configuration = sprintf -" - +{xxx| +
- help
+ help
display this help message
@@ -70,33 +70,32 @@ let usage_string configuration =
getxslt?uri=URI[&patch_dtd=(yes|no)]
ls?baseuri=regexp&format=(txt|xml)
- getalluris?format=(txt|xml)
+ getalluris?format=(txt|xml)
%s-" +|xxx} xhtml_ns helm_ns version configuration let empty_xml = -" +{xxx| ]>