src/Pure/Isar/toplevel.ML
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.