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 |