]> matita.cs.unibo.it Git - helm.git/commit
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)
commite2ee856cd1e7639d4946d838cbf5a93f39b6bdae
tree95fb51d9d1421c777ca1f9164bac9e99beb4ccfc
parent2eff3872d9e65ffe12f654aa1feff78ccb2953c6
typo fixes in usage string
helm/uwobo/src/ocaml/uwobo_common.ml