- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / uwobo / uwobo_common.ml

diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index 7ae0260ae274803ffbc24db745737b8910ad9cc5..b4a910f9d7cb0b17bd738ccac6283dfd9857016d 100644 (file)
--- 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 =
       <b><kbd>help</kbd></b><br />
       display this help message
     </p>
+    <p>
+      <b><kbd>newsession?port=p</kbd></b><br />
+      starts a new daemon on a given port <em>p</em>
+    </p>
+    <p>
+      <b><kbd>kill</kbd></b><br />
+      kills the daemon. The log file is mantained.
+    </p>
     <p>
       <b><kbd>add?bind=key,uri[&bind=key,uri[&...]]</kbd></b><br />
       load a new stylesheet, specified by <em>uri</em>, and bind it to key
           <em>key</em>
     </p>
     <p>
-      <b><kbd>remove[?keys=key1,key2,...]</kbd></b><br />
+      <b><kbd>remove?keys=[key1,key2,...]</kbd></b><br />
       unload stylesheets specified by <em>key1, key2, ...</em> or all
           stylesheets if no key was given
     </p>
     <p>
-      <b><kbd>reload[?keys=key1,key2,...]</kbd></b><br />
+      <b><kbd>reload?keys=[key1,key2,...]</kbd></b><br />
       reload stylesheets specified by <em>key1, key2, ...</em> or all
           stylesheets if no key was given
     </p>