# HG changeset patch
# User wenzelm
# Date 850909554 -3600
# Node ID d3d42a2e7da21f220882426f7780c397f0a20aa0
# Parent  91016075afe80271d83c41b16d13397f932f2890
improved usage msg;

diff -r 91016075afe8 -r d3d42a2e7da2 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 *