]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo_common.ml
* updated the help file to reflect the new syntax (reload/remove)
[helm.git] / helm / uwobo / uwobo_common.ml
index 84ba1996750f7ca3cd917f61e59e1b20d430f06e..b4a910f9d7cb0b17bd738ccac6283dfd9857016d 100644 (file)
@@ -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>