# HG changeset patch
# User wenzelm
# Date 1237575951 -3600
# Node ID 591fefcf184e6e89f6a64735acdec09e7ed8e48b
# Parent  bcbc34cb97496e04c6dd1ba5c22c499ed90315e1
uniform ml_prompts for RAW and Pure;

diff -r bcbc34cb9749 -r 591fefcf184e src/Pure/mk
--- 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
diff -r bcbc34cb9749 -r 591fefcf184e src/Pure/pure_setup.ML
--- a/src/Pure/pure_setup.ML	Fri Mar 20 18:46:50 2009 +0100
+++ b/src/Pure/pure_setup.ML	Fri Mar 20 20:05:51 2009 +0100
@@ -50,6 +50,5 @@
 (* misc *)
 
 val cd = File.cd o Path.explode;
-ml_prompts "ML> " "ML# ";
 
 Proofterm.proofs := 0;