activate ml_prompts;
authorwenzelm
Tue Oct 26 22:32:15 1999 +0200 (1999-10-26)
changeset 7938e45599caee6c
parent 7937 82025fe607d3
child 7939 131a2c54036f
activate ml_prompts;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Tue Oct 26 19:06:52 1999 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue Oct 26 22:32:15 1999 +0200
     1.3 @@ -81,6 +81,6 @@
     1.4  val cd = File.cd o Path.unpack;
     1.5  
     1.6  print_depth 8;
     1.7 -(*ml_prompts "ML> " "ML# ";*)
     1.8 +ml_prompts "ML> " "ML# ";
     1.9  
    1.10  Session.finish ();