X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_common.ml;h=b4a910f9d7cb0b17bd738ccac6283dfd9857016d;hb=f0196d4e96bf8cc579d1690fc6a653adc08ca02e;hp=7ae0260ae274803ffbc24db745737b8910ad9cc5;hpb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;p=helm.git
diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index 7ae0260ae..b4a910f9d 100644
--- a/helm/uwobo/uwobo_common.ml
+++ b/helm/uwobo/uwobo_common.ml
@@ -48,7 +48,7 @@ let supported_properties = [
let is_supported_property name = List.mem name supported_properties
-let version = "0.2.0" ;;
+let version = "0.2.1" ;;
let usage_string =
sprintf
@@ -72,18 +72,26 @@ let usage_string =
help
display this help message
+ newsession?port=p
+ starts a new daemon on a given port p
+
+ kill
+ kills the daemon. The log file is mantained.
+
add?bind=key,uri[&bind=key,uri[&...]]
load a new stylesheet, specified by uri, and bind it to key
key
- remove[?keys=key1,key2,...]
+ remove?keys=[key1,key2,...]
unload stylesheets specified by key1, key2, ... or all
stylesheets if no key was given
- reload[?keys=key1,key2,...]
+ reload?keys=[key1,key2,...]
reload stylesheets specified by key1, key2, ... or all
stylesheets if no key was given