author | wenzelm |
Wed, 18 Dec 1996 12:45:54 +0100 | |
changeset 2434 | d3d42a2e7da2 |
parent 2433 | 91016075afe8 |
child 2435 | 750a73406623 |
bin/isatool | file | annotate | diff | comparison | revisions |
--- a/bin/isatool Wed Dec 18 12:42:53 1996 +0100 +++ b/bin/isatool Wed Dec 18 12:45:54 1996 +0100 @@ -20,9 +20,11 @@ echo echo "Usage: $PRG TOOL [ARGS ...]" echo - echo " Start Isabelle utility program TOOL with ARGS." + echo " Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL" + echo " for specific help." echo echo " Availabe tools are:" + echo ( cd "$ISABELLE_HOME/lib/Tools" for T in *