--- a/src/Pure/mk Fri Mar 20 18:46:50 2009 +0100
+++ b/src/Pure/mk Fri Mar 20 20:05:51 2009 +0100
@@ -92,6 +92,7 @@
-e "val ml_platform = \"$ML_PLATFORM\";" \
-e "use\"$COMPAT\" handle _ => exit 1;" \
-e "structure Isar = struct fun main () = () end;" \
+ -e "ml_prompts \"ML> \" \"ML# \";" \
-q -w RAW_ML_SYSTEM RAW > "$LOG" 2>&1
RC="$?"
elif [ -n "$RAW_SESSION" ]; then
@@ -112,6 +113,7 @@
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "val ml_platform = \"$ML_PLATFORM\";" \
-e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => exit 1;" \
+ -e "ml_prompts \"ML> \" \"ML# \";" \
-f -c -q -w RAW_ML_SYSTEM Pure > "$LOG" 2>&1
RC="$?"
fi