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 |