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
 }