# HG changeset patch
# User wenzelm
# Date 940410338 -7200
# Node ID eedfff88ee40b1c328904546fe39f6d635ade343
# Parent  8fa551e22e524c1478fb4728177507461fc0a411
tuned usage;

diff -r 8fa551e22e52 -r eedfff88ee40 bin/isabelle
--- a/bin/isabelle	Wed Oct 20 11:05:06 1999 +0200
+++ b/bin/isabelle	Wed Oct 20 11:05:38 1999 +0200
@@ -31,8 +31,8 @@
   echo "    -w           reset write permissions on OUTPUT"
   echo
   echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
-  echo "  These are either names to be searched in the Isabelle path, or actual"
-  echo "  file names (containing at least one /)."
+  echo "  These are either names to be searched in the Isabelle path, or"
+  echo "  actual file names (containing at least one /)."
   echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
   echo
   exit 1
diff -r 8fa551e22e52 -r eedfff88ee40 lib/Tools/expandshort
--- a/lib/Tools/expandshort	Wed Oct 20 11:05:06 1999 +0200
+++ b/lib/Tools/expandshort	Wed Oct 20 11:05:38 1999 +0200
@@ -14,8 +14,8 @@
   echo
   echo "  Recursively find .ML files, expand shorthand goal commands.  Also"
   echo "  contracts uses of resolve_tac, dresolve_tac, eresolve_tac,"
-  echo "  forward_tac, rewrite_goals_tac on 1-element lists; furthermore expands"
-  echo "  tabs, which are forbidden in SML string constants."
+  echo "  forward_tac, rewrite_goals_tac on 1-element lists; furthermore"
+  echo "  expands tabs, which are forbidden in SML string constants."
   echo
   echo "  Renames old versions of files by appending \"~~\"."
   echo
diff -r 8fa551e22e52 -r eedfff88ee40 lib/Tools/install
--- a/lib/Tools/install	Wed Oct 20 11:05:06 1999 +0200
+++ b/lib/Tools/install	Wed Oct 20 11:05:38 1999 +0200
@@ -13,7 +13,8 @@
   echo "Usage: $PRG [OPTIONS]"
   echo
   echo "  Options are:"
-  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
+  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
+  echo "                 (default ISABELLE_HOME)"
   echo "    -k           install KDE application icon on Desktop"
   echo "    -p DIR       install standalone binaries in DIR"
   echo