1.1 --- a/bin/isabelle	Sat Oct 04 17:40:58 2008 +0200
     1.2 +++ b/bin/isabelle	Sat Oct 04 17:50:57 2008 +0200
     1.3 @@ -24,10 +24,9 @@
     1.4  function usage()
     1.5  {
     1.6    echo
     1.7 -  echo "Usage: $PRG TOOL [ARGS ...]"
     1.8 +  echo "Usage: $PRG NAME [ARGS ...]"
     1.9    echo
    1.10 -  echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
    1.11 -  echo "  for more specific help."
    1.12 +  echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
    1.13    echo
    1.14    echo "  Available tools are:"
    1.15    (