# HG changeset patch
# User wenzelm
# Date 1223135457 -7200
# Node ID 3ab515ee4e6f5dfa22c7bff5e8ea0517d25bb7b5
# Parent  f98751bd715f84f6c2990e71593dac44132470cd
tuned isabelle usage;

diff -r f98751bd715f -r 3ab515ee4e6f bin/isabelle
--- a/bin/isabelle	Sat Oct 04 17:40:58 2008 +0200
+++ b/bin/isabelle	Sat Oct 04 17:50:57 2008 +0200
@@ -24,10 +24,9 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG TOOL [ARGS ...]"
+  echo "Usage: $PRG NAME [ARGS ...]"
   echo
-  echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
-  echo "  for more specific help."
+  echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
   echo
   echo "  Available tools are:"
   (
diff -r f98751bd715f -r 3ab515ee4e6f doc-src/System/Thy/Basics.thy
--- a/doc-src/System/Thy/Basics.thy	Sat Oct 04 17:40:58 2008 +0200
+++ b/doc-src/System/Thy/Basics.thy	Sat Oct 04 17:50:57 2008 +0200
@@ -437,8 +437,7 @@
 \begin{ttbox}
 Usage: isabelle TOOL [ARGS ...]
 
-  Start Isabelle utility program TOOL with ARGS. Pass "-?" to TOOL
-  for more specific help.
+  Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
 
   Available tools are: