activate ml_prompts;

--- a/src/Pure/ROOT.ML	Tue Oct 26 19:06:52 1999 +0200
+++ b/src/Pure/ROOT.ML	Tue Oct 26 22:32:15 1999 +0200
@@ -81,6 +81,6 @@
 val cd = File.cd o Path.unpack;
 
 print_depth 8;
-(*ml_prompts "ML> " "ML# ";*)
+ml_prompts "ML> " "ML# ";
 
 Session.finish ();