--- 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
--- 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
--- 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