tuned isabelle usage;
authorwenzelm
Sat Oct 04 17:50:57 2008 +0200 (2008-10-04)
changeset 285063ab515ee4e6f
parent 28505 f98751bd715f
child 28507 325592dad134
tuned isabelle usage;
bin/isabelle
doc-src/System/Thy/Basics.thy
     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    (
     2.1 --- a/doc-src/System/Thy/Basics.thy	Sat Oct 04 17:40:58 2008 +0200
     2.2 +++ b/doc-src/System/Thy/Basics.thy	Sat Oct 04 17:50:57 2008 +0200
     2.3 @@ -437,8 +437,7 @@
     2.4  \begin{ttbox}
     2.5  Usage: isabelle TOOL [ARGS ...]
     2.6  
     2.7 -  Start Isabelle utility program TOOL with ARGS. Pass "-?" to TOOL
     2.8 -  for more specific help.
     2.9 +  Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
    2.10  
    2.11    Available tools are:
    2.12