| Wed, 20 Oct 1999 15:53:22 +0200 | wenzelm | eliminated isar_action; | file | diff | annotate |
| Sun, 26 Sep 1999 16:38:50 +0200 | wenzelm | ThmDatabase.print_thms_containing; | file | diff | annotate |
| Sat, 25 Sep 1999 13:06:06 +0200 | wenzelm | skolem_tag; | file | diff | annotate |
| Wed, 22 Sep 1999 21:49:37 +0200 | wenzelm | thms_containing: single writeln; | file | diff | annotate |
| Wed, 22 Sep 1999 21:45:05 +0200 | wenzelm | added thms_containing; | file | diff | annotate |
| Wed, 01 Sep 1999 21:05:48 +0200 | wenzelm | isar: avoid verbose goal responses; | file | diff | annotate |
| Tue, 24 Aug 1999 11:43:30 +0200 | wenzelm | print_mode activated again; | file | diff | annotate |
| Thu, 19 Aug 1999 16:33:53 +0200 | wenzelm | disabled print_mode (tmp); | file | diff | annotate |
| Wed, 18 Aug 1999 20:41:16 +0200 | wenzelm | isa_action: don't lock pretend_used files; | file | diff | annotate |
| Tue, 17 Aug 1999 17:52:04 +0200 | wenzelm | Goals.reset_goals; | file | diff | annotate |
| Mon, 16 Aug 1999 15:15:14 +0200 | wenzelm | tuned prompts; | file | diff | annotate |
| Fri, 06 Aug 1999 22:43:51 +0200 | wenzelm | made SML happy; | file | diff | annotate |
| Fri, 06 Aug 1999 22:34:00 +0200 | wenzelm | proper ProofGeneral/isa setup; | file | diff | annotate |
| Tue, 27 Jul 1999 21:55:39 +0200 | wenzelm | setup_thy_loader; | file | diff | annotate |
| Fri, 16 Jul 1999 22:27:16 +0200 | wenzelm | adapted to dest_keywords, dest_parsers; | file | diff | annotate |
| Fri, 09 Jul 1999 16:55:20 +0200 | wenzelm | write_keywords: default file name; | file | diff | annotate |
| Wed, 30 Jun 1999 12:24:32 +0200 | wenzelm | Isar.sync_main; | file | diff | annotate |
| Tue, 25 May 1999 20:19:59 +0200 | wenzelm | fixed cvs Id; | file | diff | annotate |
| Mon, 24 May 1999 21:54:34 +0200 | wenzelm | write_keywords generates outer syntax keyword classification in elisp; | file | diff | annotate |
| Fri, 21 May 1999 16:26:06 +0200 | wenzelm | Configuration for ProofGeneral of LFCS Edinburgh. | file | diff | annotate |