src/Pure/Isar/toplevel.ML
Tue, 20 Sep 2005 13:17:32 +0200 paulson uniform handling of interrupts
Sat, 17 Sep 2005 12:18:08 +0200 wenzelm theory_to_proof: check theory of initial proof state, which must not be changed;
Fri, 16 Sep 2005 11:38:49 +0200 paulson catching exception Io
Tue, 13 Sep 2005 22:19:48 +0200 wenzelm added three_buffersN, print3;
Mon, 12 Sep 2005 12:11:17 +0200 wenzelm added interact flag to control mode of excursions;
Sun, 11 Sep 2005 20:02:51 +0200 wenzelm excursion: interactive if debug;
Mon, 05 Sep 2005 17:38:24 +0200 wenzelm added assert, command;
Wed, 31 Aug 2005 15:46:47 +0200 wenzelm added no_body_context;
Thu, 18 Aug 2005 11:17:50 +0200 wenzelm proof_to_theory_context: interaction flag;
Tue, 16 Aug 2005 13:42:47 +0200 wenzelm state: body context;
Wed, 13 Jul 2005 16:07:37 +0200 wenzelm added print_state_hook;
Wed, 06 Jul 2005 20:00:41 +0200 wenzelm debug: exception_trace;
Mon, 04 Jul 2005 17:08:19 +0200 wenzelm tuned;
Fri, 01 Jul 2005 14:42:02 +0200 wenzelm added profile flag;
Wed, 29 Jun 2005 15:13:37 +0200 wenzelm added print': print depending on print_mode;
Mon, 20 Jun 2005 22:14:04 +0200 wenzelm tuned;
Fri, 17 Jun 2005 18:33:37 +0200 wenzelm Context.DATA_FAIL;
Thu, 02 Jun 2005 18:29:58 +0200 wenzelm tuned msgs;
Mon, 23 May 2005 14:56:36 +0200 wenzelm node_trans: revert to original transaction code (pre 1.54);
Tue, 17 May 2005 10:19:44 +0200 wenzelm tuned;
Thu, 07 Apr 2005 09:27:09 +0200 wenzelm improved exn_message;
Sat, 26 Mar 2005 18:20:29 +0100 paulson new display of theory stamps
Thu, 10 Mar 2005 17:48:36 +0100 ballarin Registrations of global locale interpretations: improved, better naming.
Wed, 09 Mar 2005 18:44:52 +0100 ballarin First version of global registration command.
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Wed, 23 Feb 2005 15:19:00 +0100 berghofe Modified node_trans to avoid duplication of signature stamps
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Thu, 10 Feb 2005 12:06:40 +0100 ballarin Toplevel.debug for debugging in Isar.
Tue, 11 Jan 2005 14:14:39 +0100 berghofe excursion_result now also passes previous state to presentation functions.
Mon, 11 Oct 2004 10:51:19 +0200 berghofe Some changes to allow skipping of proof scripts.
Mon, 21 Jun 2004 16:39:58 +0200 wenzelm added >>> : transition list -> unit;
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sat, 12 Jun 2004 22:45:35 +0200 wenzelm added name_of, source_of, source;
Sat, 29 May 2004 15:01:36 +0200 wenzelm Output.timing;
Mon, 07 Jul 2003 17:58:21 +0200 nipkow A patch by david aspinall
Thu, 08 Aug 2002 23:51:24 +0200 wenzelm exception SIMPROC_FAIL: solid error reporting of simprocs;
Thu, 28 Feb 2002 21:31:47 +0100 wenzelm use ignore_interrupt, raise_interrupt;
Tue, 12 Feb 2002 20:34:02 +0100 wenzelm ANTIQUOTE_FAIL;
Sat, 08 Dec 2001 14:43:48 +0100 wenzelm tuned print_state interfaces;
Wed, 28 Nov 2001 23:29:48 +0100 wenzelm added proof_to_theory';
Sun, 04 Nov 2001 21:00:28 +0100 wenzelm simplified Proof.init_state:
Wed, 31 Oct 2001 22:02:33 +0100 wenzelm Proof.init_state thy None;
Mon, 22 Oct 2001 18:04:11 +0200 wenzelm Display.current_goals_markers;
Wed, 25 Oct 2000 12:27:20 +0200 wenzelm tuned msg;
Thu, 03 Aug 2000 18:43:35 +0200 wenzelm added unknown_theory/proof/context;
Thu, 27 Jul 2000 18:25:44 +0200 wenzelm added enter_forward_proof;
Tue, 27 Jun 2000 00:02:01 +0200 wenzelm excursion_result: transform_error;
Mon, 26 Jun 2000 16:54:38 +0200 wenzelm tuned msg;
Sun, 25 Jun 2000 23:54:56 +0200 wenzelm excursion_result;
Wed, 31 May 2000 14:29:42 +0200 wenzelm Toplevel.no_timing;
Tue, 30 May 2000 16:03:09 +0200 wenzelm global timing flag;
Thu, 18 May 2000 19:04:04 +0200 wenzelm print_state: flag for proof only;
Fri, 05 May 2000 22:09:41 +0200 wenzelm GPLed;
Mon, 17 Apr 2000 14:04:46 +0200 wenzelm tuned msg;
Thu, 23 Mar 2000 21:36:43 +0100 wenzelm tuned output;
Wed, 15 Mar 2000 18:32:41 +0100 wenzelm eliminated toplevel stack;
Tue, 05 Oct 1999 15:36:00 +0200 wenzelm added is_toplevel;
Sun, 26 Sep 1999 16:41:16 +0200 wenzelm added keep', theory';
Sat, 25 Sep 1999 13:17:38 +0200 wenzelm avoid interrupts of read loop;
Tue, 07 Sep 1999 16:56:10 +0200 wenzelm added context_of;
less more (0) -60 tip