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