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