From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Mar 2003 17:24:31 +0000 (+0000)
Subject: typo fixes in usage string
X-Git-Tag: V_0_0_4_2~21
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e2ee856cd1e7639d4946d838cbf5a93f39b6bdae;p=helm.git

typo fixes in usage string
---

diff --git a/helm/uwobo/src/ocaml/uwobo_common.ml b/helm/uwobo/src/ocaml/uwobo_common.ml
index 1f7fb0328..7664c93b2 100644
--- a/helm/uwobo/src/ocaml/uwobo_common.ml
+++ b/helm/uwobo/src/ocaml/uwobo_common.ml
@@ -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