Poly/ML style prompts;

--- a/src/Pure/ML-Systems/smlnj-1.09.ML	Mon Dec 16 16:06:56 1996 +0100
+++ b/src/Pure/ML-Systems/smlnj-1.09.ML	Tue Dec 17 12:50:03 1996 +0100
@@ -14,6 +14,10 @@
 fun print_depth n = (Compiler.Control.Print.printDepth := n div 2;
                      Compiler.Control.Print.printLength := n);
 
+Compiler.Control.primaryPrompt := "> ";
+Compiler.Control.secondaryPrompt := "# ";
+
+
 (*Interface for toplevel pretty printers, see also Pure/install_pp.ML*)
 
 fun make_pp path pprint =