changeset 3276 | f8bf5e5c1641 |
parent 3007 | e5efa177ee0c |
child 7971 | 023778c8a029 |
--- a/bin/isatool Wed May 21 15:08:52 1997 +0200 +++ b/bin/isatool Wed May 21 17:05:42 1997 +0200 @@ -27,7 +27,7 @@ echo " Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL" echo " for more specific help." echo - echo " Availabe tools are:" + echo " Available tools are:" ( for DIR in $TOOLDIRS do