# HG changeset patch
# User wenzelm
# Date 850823403 -3600
# Node ID 4db9e4a150d64b2b1ec3d4122a9a6fad71a1bbf3
# Parent  a310d0c897890df6fae067b47d62aaefc4dbecf0
Poly/ML style prompts;

diff -r a310d0c89789 -r 4db9e4a150d6 src/Pure/ML-Systems/smlnj-1.09.ML
--- 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 =