src/Pure/Isar/toplevel.ML
2003-07-07 nipkow 2003-07-07 A patch by david aspinall
2002-08-08 wenzelm 2002-08-08 exception SIMPROC_FAIL: solid error reporting of simprocs;
2002-02-28 wenzelm 2002-02-28 use ignore_interrupt, raise_interrupt;
2002-02-12 wenzelm 2002-02-12 ANTIQUOTE_FAIL;
2001-12-08 wenzelm 2001-12-08 tuned print_state interfaces;
2001-11-28 wenzelm 2001-11-28 added proof_to_theory';
2001-11-04 wenzelm 2001-11-04 simplified Proof.init_state:
2001-10-31 wenzelm 2001-10-31 Proof.init_state thy None;
2001-10-22 wenzelm 2001-10-22 Display.current_goals_markers;
2000-10-25 wenzelm 2000-10-25 tuned msg;
2000-08-03 wenzelm 2000-08-03 added unknown_theory/proof/context;
2000-07-27 wenzelm 2000-07-27 added enter_forward_proof;
2000-06-27 wenzelm 2000-06-27 excursion_result: transform_error;
2000-06-26 wenzelm 2000-06-26 tuned msg;
2000-06-25 wenzelm 2000-06-25 excursion_result;
2000-05-31 wenzelm 2000-05-31 Toplevel.no_timing;
2000-05-30 wenzelm 2000-05-30 global timing flag;
2000-05-18 wenzelm 2000-05-18 print_state: flag for proof only;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-17 wenzelm 2000-04-17 tuned msg;
2000-03-23 wenzelm 2000-03-23 tuned output;
2000-03-15 wenzelm 2000-03-15 eliminated toplevel stack;
1999-10-05 wenzelm 1999-10-05 added is_toplevel;
1999-09-26 wenzelm 1999-09-26 added keep', theory';
1999-09-25 wenzelm 1999-09-25 avoid interrupts of read loop;
1999-09-07 wenzelm 1999-09-07 added context_of;
1999-08-20 wenzelm 1999-08-20 print_context;
1999-08-09 wenzelm 1999-08-09 tuned print_state; quiet flag;
1999-07-27 wenzelm 1999-07-27 init / init_theory: pass int flag;
1999-07-22 wenzelm 1999-07-22 Toplevel.excursion_error;
1999-07-16 wenzelm 1999-07-16 removed BREAK, ROLLBACK;
1999-07-10 wenzelm 1999-07-10 tuned Interrupt msgs;
1999-07-10 wenzelm 1999-07-10 fixed interrupts (eliminated races);
1999-05-21 wenzelm 1999-05-21 tuned; added prompt_state_fn hook; added kill operation; provide toplevel node history, nests with proof history; toplevel prompt includes nest level; more robust recovery from stale signatures;
1999-05-17 wenzelm 1999-05-17 cleaned comments; node_cases renamed to node_case; more robust rollback of transactions via backup;
1999-02-05 wenzelm 1999-02-05 improved msg;
1999-02-03 wenzelm 1999-02-03 comment;
1998-12-01 wenzelm 1998-12-01 excursion: ERROR_MESSAGE; exn_message: ERROR;
1998-11-29 wenzelm 1998-11-29 added exception RESTART;
1998-11-21 wenzelm 1998-11-21 print_state hook, obeys Goals.current_goals_markers by default;
1998-11-19 wenzelm 1998-11-19 break: exhibit state stack;
1998-11-18 wenzelm 1998-11-18 exn_message FAIL;
1998-11-18 wenzelm 1998-11-18 export exn_message;
1998-11-17 wenzelm 1998-11-17 BREAK: include state; report Attrib.ATTRIB_FAIL, Method.METHOD_FAIL;
1998-11-09 wenzelm 1998-11-09 The Isabelle/Isar toplevel.