From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 9 Jan 2003 07:57:26 +0000 (+0000)
Subject: - shows also version in usage string
X-Git-Tag: v0_3_99~59
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=b1fb6b8e1767d775bc452303629e95941d142bea;hp=b1fb6b8e1767d775bc452303629e95941d142bea;p=helm.git

- shows also version in usage string
---