src/Pure/Isar/toplevel.ML
1999-09-25 ago avoid interrupts of read loop;
1999-09-07 ago added context_of;
1999-08-20 ago print_context;
1999-08-09 ago tuned print_state;
1999-07-27 ago init / init_theory: pass int flag;
1999-07-22 ago Toplevel.excursion_error;
1999-07-16 ago removed BREAK, ROLLBACK;
1999-07-10 ago tuned Interrupt msgs;
1999-07-10 ago fixed interrupts (eliminated races);
1999-05-21 ago tuned;
1999-05-17 ago cleaned comments;
1999-02-05 ago improved msg;
1999-02-03 ago comment;
1998-12-01 ago excursion: ERROR_MESSAGE;
1998-11-29 ago added exception RESTART;
1998-11-21 ago print_state hook, obeys Goals.current_goals_markers by default;
1998-11-19 ago break: exhibit state stack;
1998-11-18 ago exn_message FAIL;
1998-11-18 ago export exn_message;
1998-11-17 ago BREAK: include state;
1998-11-09 ago The Isabelle/Isar toplevel.