improved usage msg;
authorwenzelm
Wed Dec 18 12:45:54 1996 +0100 (1996-12-18)
changeset 2434d3d42a2e7da2
parent 2433 91016075afe8
child 2435 750a73406623
improved usage msg;
bin/isatool
     1.1 --- a/bin/isatool	Wed Dec 18 12:42:53 1996 +0100
     1.2 +++ b/bin/isatool	Wed Dec 18 12:45:54 1996 +0100
     1.3 @@ -20,9 +20,11 @@
     1.4    echo
     1.5    echo "Usage: $PRG TOOL [ARGS ...]"
     1.6    echo
     1.7 -  echo "  Start Isabelle utility program TOOL with ARGS."
     1.8 +  echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
     1.9 +  echo "  for specific help."
    1.10    echo
    1.11    echo "  Availabe tools are:"
    1.12 +  echo
    1.13    (
    1.14      cd "$ISABELLE_HOME/lib/Tools"
    1.15      for T in *