src/Pure/Isar/outer_syntax.ML
changeset 5992 263051aaf0de
parent 5952 7d4ec8992b23
child 6095 9f75a45384dd
equal deleted inserted replaced
5991:832ec852fc4e 5992:263051aaf0de
   177 fun loop () = (Context.reset_context (); Toplevel.loop isar);
   177 fun loop () = (Context.reset_context (); Toplevel.loop isar);
   178 
   178 
   179 fun main () =
   179 fun main () =
   180  (Toplevel.set_state Toplevel.toplevel;
   180  (Toplevel.set_state Toplevel.toplevel;
   181   ml_prompts "ML> " "ML# ";
   181   ml_prompts "ML> " "ML# ";
   182   writeln ("\n\n" ^ Context.welcome ());
   182   writeln (Context.welcome ());
   183   loop ());
   183   loop ());
   184 
   184 
   185 
   185 
   186 (* load *)
   186 (* load *)
   187 
   187