--- 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=""
;;
*/*)
--- a/src/Pure/mk Fri Mar 07 15:29:46 1997 +0100
+++ b/src/Pure/mk Fri Mar 07 15:30:23 1997 +0100
@@ -29,6 +29,6 @@
$ISABELLE \
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
- -cq SYSTEM Pure
+ -cq RAW_ML_SYSTEM Pure
chmod -w $ISABELLE_OUTPUT_DIR/Pure