# HG changeset patch
# User wenzelm
# Date 1345391501 -7200
# Node ID 86816c61b5ca6e2b58c3b34f4658a21772ef0a16
# Parent  9032f4bdf205ab9cdf959e059c6d1b91125d2a8d
tuned message;

diff -r 9032f4bdf205 -r 86816c61b5ca bin/isabelle
--- a/bin/isabelle	Sun Aug 19 17:33:00 2012 +0200
+++ b/bin/isabelle	Sun Aug 19 17:51:41 2012 +0200
@@ -27,7 +27,7 @@
   echo
   echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
   echo
-  echo "  Available tools are:"
+  echo "Available tools:"
   perl -w "$ISABELLE_HOME/lib/scripts/tools.pl"
   exit 1
 }
diff -r 9032f4bdf205 -r 86816c61b5ca doc-src/System/Thy/Basics.thy
--- a/doc-src/System/Thy/Basics.thy	Sun Aug 19 17:33:00 2012 +0200
+++ b/doc-src/System/Thy/Basics.thy	Sun Aug 19 17:51:41 2012 +0200
@@ -517,10 +517,8 @@
 
   Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
 
-  Available tools are:
-
-    browser - Isabelle graph browser
-    \dots
+Available tools:
+  \dots
 \end{ttbox}
 
   In principle, Isabelle tools are ordinary executable scripts that
diff -r 9032f4bdf205 -r 86816c61b5ca doc-src/System/Thy/document/Basics.tex
--- a/doc-src/System/Thy/document/Basics.tex	Sun Aug 19 17:33:00 2012 +0200
+++ b/doc-src/System/Thy/document/Basics.tex	Sun Aug 19 17:51:41 2012 +0200
@@ -533,10 +533,8 @@
 
   Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
 
-  Available tools are:
-
-    browser - Isabelle graph browser
-    \dots
+Available tools:
+  \dots
 \end{ttbox}
 
   In principle, Isabelle tools are ordinary executable scripts that
diff -r 9032f4bdf205 -r 86816c61b5ca lib/scripts/tools.pl
--- a/lib/scripts/tools.pl	Sun Aug 19 17:33:00 2012 +0200
+++ b/lib/scripts/tools.pl	Sun Aug 19 17:51:41 2012 +0200
@@ -24,7 +24,7 @@
             }
             close FILE;
             if (defined($description)) {
-              push(@tools, "    $name - $description\n");
+              push(@tools, "  $name - $description\n");
             }
           }
         }