bin/isabelle
changeset 48858 86816c61b5ca
parent 42124 7519c7c33017
child 62829 4141c2a8458b
     1.1 --- a/bin/isabelle	Sun Aug 19 17:33:00 2012 +0200
     1.2 +++ b/bin/isabelle	Sun Aug 19 17:51:41 2012 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    echo
     1.5    echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
     1.6    echo
     1.7 -  echo "  Available tools are:"
     1.8 +  echo "Available tools:"
     1.9    perl -w "$ISABELLE_HOME/lib/scripts/tools.pl"
    1.10    exit 1
    1.11  }