bin/isatool

--- a/bin/isatool	Wed Dec 18 12:42:53 1996 +0100
+++ b/bin/isatool	Wed Dec 18 12:45:54 1996 +0100
@@ -20,9 +20,11 @@
   echo
   echo "Usage: $PRG TOOL [ARGS ...]"
   echo
-  echo "  Start Isabelle utility program TOOL with ARGS."
+  echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
+  echo "  for specific help."
   echo
   echo "  Availabe tools are:"
+  echo
   (
     cd "$ISABELLE_HOME/lib/Tools"
     for T in *