| Sun, 06 Jun 2004 18:35:11 +0200 | wenzelm | no token translation / setup for Latex; | file | diff | annotate |
| Sun, 21 Jul 2002 15:37:04 +0200 | berghofe | Added program extraction module. | file | diff | annotate |
| Fri, 11 Jan 2002 18:07:45 +0100 | wenzelm | removed obsolete isamode.ML; | file | diff | annotate |
| Mon, 03 Dec 2001 21:31:55 +0100 | wenzelm | renamed rule_context.ML to context_rules.ML; | file | diff | annotate |
| Mon, 26 Nov 2001 23:24:27 +0100 | wenzelm | added Pure/Isar/rule_context.ML; | file | diff | annotate |
| Mon, 19 Nov 2001 17:36:40 +0100 | berghofe | Added setup for proof rewrite rules. | file | diff | annotate |
| Thu, 01 Nov 2001 21:10:13 +0100 | wenzelm | Goals.setup; | file | diff | annotate |
| Sun, 14 Oct 2001 20:08:26 +0200 | wenzelm | ObjectLogic.setup; | file | diff | annotate |
| Thu, 04 Oct 2001 11:29:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Oct 2001 21:01:53 +0200 | wenzelm | Isar/induct_attrib.ML; | file | diff | annotate |
| Fri, 31 Aug 2001 16:10:03 +0200 | berghofe | Added setup for code generator. | file | diff | annotate |
| Thu, 18 Jan 2001 20:36:57 +0100 | wenzelm | use Sign.PureN, Sign.CPureN; | file | diff | annotate |
| Wed, 24 May 2000 19:09:36 +0200 | wenzelm | proper token_translation for latex mode; | file | diff | annotate |
| Tue, 05 Oct 1999 15:30:14 +0200 | wenzelm | Present.setup; | file | diff | annotate |
| Fri, 02 Jul 1999 19:04:32 +0200 | wenzelm | skip_proof feature 'sorry' (for quick_and_dirty mode only); | file | diff | annotate |
| Sat, 05 Jun 1999 20:29:07 +0200 | wenzelm | removed ObjectLogic.setup; | file | diff | annotate |
| Fri, 04 Jun 1999 19:53:03 +0200 | wenzelm | added Isar/calculation.ML; | file | diff | annotate |
| Fri, 21 May 1999 16:24:46 +0200 | wenzelm | Isamode.setup, ProofGeneral.setup; | file | diff | annotate |
| Mon, 17 May 1999 17:06:50 +0200 | berghofe | Added setup for BrowserInfo. | file | diff | annotate |
| Wed, 17 Mar 1999 13:30:24 +0100 | wenzelm | AxClass.setup; | file | diff | annotate |
| Tue, 09 Mar 1999 12:07:32 +0100 | wenzelm | HTML.setup; | file | diff | annotate |
| Wed, 03 Feb 1999 16:47:37 +0100 | wenzelm | proper setup of preloaded theories (ThyInfo.register_theory); | file | diff | annotate |
| Tue, 17 Nov 1998 14:07:04 +0100 | wenzelm | Theory.apply replaced by Library.apply; | file | diff | annotate |
| Sat, 14 Nov 1998 13:25:34 +0100 | wenzelm | Theory.copy; | file | diff | annotate |
| Mon, 09 Nov 1998 15:41:24 +0100 | wenzelm | Isar setups; | file | diff | annotate |
| Tue, 04 Aug 1998 18:23:28 +0200 | wenzelm | Locale.setup; | file | diff | annotate |
| Wed, 29 Jul 1998 15:38:08 +0200 | wenzelm | late setup of Pure and CPure; | file | diff | annotate |
| Mon, 29 Jun 1998 21:33:35 +0200 | wenzelm | moved actual (C)Pure theories to pure.ML; | file | diff | annotate |