]> matita.cs.unibo.it Git - helm.git/commitdiff
typo fixes in usage string
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:24:31 +0000 (17:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:24:31 +0000 (17:24 +0000)
helm/uwobo/src/ocaml/uwobo_common.ml

index 1f7fb0328ae7e29d0edd801ef7201ed0b78da46e..7664c93b2047e32fc95bd2e219d4dcc892b9aad2 100644 (file)
@@ -64,17 +64,17 @@ let usage_string =
       display this help message
     </p>
     <p>
-      <b><kbd>add?bind=key,uri[&bind=key,stylesheet[&...]]</kbd></b><br />
+      <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>
@@ -83,7 +83,7 @@ let usage_string =
       return a list of loaded stylesheets
     </p>
     <p>
-      <b><kbd>apply?xmluri=uri&keys=key1,key2,...[&param.name=value[&param.name=value[&...]]][&param.key.name=value[&param.key.name=value[&...]]][&name[=value][&prop.name[=value][&...]]]</kbd></b><br />
+      <b><kbd>apply?xmluri=uri&keys=key1,key2,...[&param.name=value[&param.name=value[&...]]][&param.key.name=value[&param.key.name=value[&...]]][&prop.name[=value][&prop.name[=value][&...]]]</kbd></b><br />
       apply a chain of stylesheets, specified by <em>key1, key2, ...</em>, to an
       input document, specified by <em>uri</em>.<br />
       Additional parameters can be set for each stylesheet application: global