--- a/bin/isabelle Fri Mar 07 15:29:46 1997 +0100
+++ b/bin/isabelle Fri Mar 07 15:30:23 1997 +0100
@@ -32,7 +32,7 @@
echo " INPUT (default \"$DEFAULT_LOGIC\") and OUTPUT specify in/out heaps."
echo " These are either names to be searched in the Isabelle path, or actual"
echo " file names (then containing at least one /)."
- echo " If INPUT is \"SYSTEM\", just start the bare bones ML system."
+ echo " If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
echo
exit 1
}
@@ -117,7 +117,7 @@
[ -z "$INPUT" ] && INPUT="$DEFAULT_LOGIC"
case "$INPUT" in
- SYSTEM)
+ RAW_ML_SYSTEM)
INFILE=""
;;
*/*)