fixed spelling;
authorwenzelm
Wed May 21 17:05:42 1997 +0200 (1997-05-21)
changeset 3276f8bf5e5c1641
parent 3275 3f53f2c876f4
child 3277 d95d209ae1c2
fixed spelling;
bin/isatool
     1.1 --- a/bin/isatool	Wed May 21 15:08:52 1997 +0200
     1.2 +++ b/bin/isatool	Wed May 21 17:05:42 1997 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
     1.5    echo "  for more specific help."
     1.6    echo
     1.7 -  echo "  Availabe tools are:"
     1.8 +  echo "  Available tools are:"
     1.9    (
    1.10      for DIR in $TOOLDIRS
    1.11      do