src/Pure/ML-Systems/smlnj.ML
changeset 4977 6cec2c0ffdbf
parent 4428 5c26253b8a2e
child 5038 301c37df931d
--- a/src/Pure/ML-Systems/smlnj.ML	Thu May 28 11:11:27 1998 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Thu May 28 12:21:05 1998 +0200
@@ -34,9 +34,6 @@
  (Compiler.Control.Print.printDepth := n div 2;
   Compiler.Control.Print.printLength := n);
 
-(*Poly/ML-like prompts*)
-Compiler.Control.primaryPrompt := "> ";
-Compiler.Control.secondaryPrompt := "# ";
 
 
 (** Compiler-independent timing functions **)
@@ -59,6 +56,12 @@
   end;
 
 
+(* prompts *)
+
+fun ml_prompts p1 p2 =
+  (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
+
+
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)
 
 fun make_pp path pprint =