1.1 --- a/src/Pure/ML-Systems/mlworks.ML	Thu May 28 11:11:27 1998 +0200
     1.2 +++ b/src/Pure/ML-Systems/mlworks.ML	Thu May 28 12:21:05 1998 +0200
     1.3 @@ -38,6 +38,10 @@
     1.4  fun make_pp path pprint = ();
     1.5  fun install_pp _ = ();
     1.6  
     1.7 +(*prompts*)
     1.8 +(*n.a.??*)
     1.9 +fun ml_prompts p1 p2 = ();
    1.10 +
    1.11  
    1.12  (** Compiler-independent timing functions **)
    1.13  

     2.1 --- a/src/Pure/ML-Systems/polyml.ML	Thu May 28 11:11:27 1998 +0200
     2.2 +++ b/src/Pure/ML-Systems/polyml.ML	Thu May 28 12:21:05 1998 +0200
     2.3 @@ -27,6 +27,11 @@
     2.4    " secs";
     2.5  
     2.6  
     2.7 +(* prompts *)
     2.8 +
     2.9 +fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt1 := p2);
    2.10 +
    2.11 +
    2.12  (* toplevel pretty printing (see also Pure/install_pp.ML) *)
    2.13  
    2.14  fun make_pp _ pprint (str, blk, brk, en) obj =

     3.1 --- a/src/Pure/ML-Systems/smlnj-0.93.ML	Thu May 28 11:11:27 1998 +0200
     3.2 +++ b/src/Pure/ML-Systems/smlnj-0.93.ML	Thu May 28 12:21:05 1998 +0200
     3.3 @@ -56,6 +56,9 @@
     3.4  end;
     3.5  
     3.6  
     3.7 +(* prompts *)
     3.8 +
     3.9 +fun ml_prompts p1 p2 = ();
    3.10  
    3.11  
    3.12  (* toplevel pretty printing (see also Pure/install_pp.ML) *)

     4.1 --- a/src/Pure/ML-Systems/smlnj.ML	Thu May 28 11:11:27 1998 +0200
     4.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Thu May 28 12:21:05 1998 +0200
     4.3 @@ -34,9 +34,6 @@
     4.4   (Compiler.Control.Print.printDepth := n div 2;
     4.5    Compiler.Control.Print.printLength := n);
     4.6  
     4.7 -(*Poly/ML-like prompts*)
     4.8 -Compiler.Control.primaryPrompt := "> ";
     4.9 -Compiler.Control.secondaryPrompt := "# ";
    4.10  
    4.11  
    4.12  (** Compiler-independent timing functions **)
    4.13 @@ -59,6 +56,12 @@
    4.14    end;
    4.15  
    4.16  
    4.17 +(* prompts *)
    4.18 +
    4.19 +fun ml_prompts p1 p2 =
    4.20 +  (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2);
    4.21 +
    4.22 +
    4.23  (* toplevel pretty printing (see also Pure/install_pp.ML) *)
    4.24  
    4.25  fun make_pp path pprint =