src/Pure/Isar/toplevel.ML
2005-01-11 ago excursion_result now also passes previous state to presentation functions.
2004-10-11 ago Some changes to allow skipping of proof scripts.
2004-06-21 ago added >>> : transition list -> unit;
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-12 ago added name_of, source_of, source;
2004-05-29 ago Output.timing;
2003-07-07 ago A patch by david aspinall
2002-08-08 ago exception SIMPROC_FAIL: solid error reporting of simprocs;
2002-02-28 ago use ignore_interrupt, raise_interrupt;
2002-02-12 ago ANTIQUOTE_FAIL;
2001-12-08 ago tuned print_state interfaces;
2001-11-28 ago added proof_to_theory';
2001-11-04 ago simplified Proof.init_state:
2001-10-31 ago Proof.init_state thy None;
2001-10-22 ago Display.current_goals_markers;
2000-10-25 ago tuned msg;
2000-08-03 ago added unknown_theory/proof/context;
2000-07-27 ago added enter_forward_proof;
2000-06-27 ago excursion_result: transform_error;
2000-06-26 ago tuned msg;
2000-06-25 ago excursion_result;
2000-05-31 ago Toplevel.no_timing;
2000-05-30 ago global timing flag;
2000-05-18 ago print_state: flag for proof only;
2000-05-05 ago GPLed;
2000-04-17 ago tuned msg;
2000-03-23 ago tuned output;
2000-03-15 ago eliminated toplevel stack;
1999-10-05 ago added is_toplevel;
1999-09-26 ago added keep', theory';
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.