X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_common.ml;h=b4a910f9d7cb0b17bd738ccac6283dfd9857016d;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=f7790923cdc94f962df53fe39bb93020f330cf4d;hpb=4356ee2e1a539506c28d90bc171cfffe8e1998b4;p=helm.git

diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index f7790923c..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
@@ -86,12 +86,12 @@ let usage_string =
           <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>