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