]> matita.cs.unibo.it Git - helm.git/commit
help string in sync with available commands
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:23:46 +0000 (15:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:23:46 +0000 (15:23 +0000)
commita469edc9d2225c0f96546fbc45049ebfcc9228ad
treeaa3ccfdc86b6d41be9d8b47908b2b172c345f331
parent08c15a4d64e1f0d9952981dd611481dd7c44d311
help string in sync with available commands
helm/ocaml/getter/http_getter_const.ml