fixed msg;
authorwenzelm
Tue May 11 18:18:37 1999 +0200 (1999-05-11 ago)
changeset 6635f81b9b4c3265
parent 6634 6f74e7aa5b4d
child 6636 80052270f08b
fixed msg;
src/Pure/Isar/isar_cmd.ML
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Tue May 11 17:51:23 1999 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Tue May 11 18:18:37 1999 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4  
     1.5  val exit = Toplevel.keep (fn state =>
     1.6    (Context.set_context (try Toplevel.theory_of state);
     1.7 -    writeln "Leaving the Isar loop.  Invoke 'main_loop();' to restart.";
     1.8 +    writeln "Leaving the Isar loop.  Invoke 'loop();' to restart.";
     1.9      raise Toplevel.TERMINATE));
    1.10  
    1.11  val restart = Toplevel.imperative (fn () => raise Toplevel.RESTART);