Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed spelling;
authorwenzelm
Wed, 21 May 1997 17:05:42 +0200
changeset 3276 f8bf5e5c1641
parent 3275 3f53f2c876f4
child 3277 d95d209ae1c2
fixed spelling;
bin/isatool file | annotate | diff | comparison | revisions 
--- 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
isabelle