| 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 |