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