X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_const.ml;fp=matita%2Fcomponents%2Fgetter%2Fhttp_getter_const.ml;h=2b2ba79baf6ef90e58fb56c55b658025d549ced9;hp=8103efcfa3cbffb8adb96d40f8abb2184227eb12;hb=b161347767b1cb67c4f5b115e4414b85ac4b2183;hpb=86a71ccae1c961d563fb1ca2ceff3866dab4c065
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|
+
HTTP Getter's help message
@@ -54,7 +54,7 @@ let usage_string configuration =
Available commands:
- help
+ help
display this help message
@@ -70,33 +70,32 @@ let usage_string configuration =
getxslt?uri=URI[&patch_dtd=(yes|no)]
- update
+ update
- clean_cache
+ clean_cache
ls?baseuri=regexp&format=(txt|xml)
- getalluris?format=(txt|xml)
+ getalluris?format=(txt|xml)
- getempty
+ getempty
Current configuration
%s
-"
+|xxx}
xhtml_ns helm_ns
version configuration
let empty_xml =
-"
+{xxx|
]>
-"
-
+|xxx}