From a4a782c01c52770ac21a73c932c84bfbe0648b73 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 20 May 2003 20:31:09 +0000 Subject: Updated. --- ChangeLog | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/ChangeLog b/ChangeLog index bd74ddc7..8f393a16 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,32 @@ +2003-05-20 David Aspinall + + * ChangeLog: Cleanup from empty + + * Makefile.devel: + Fix tabs in developer list + + * Makefile.devel: + Replace obsolete developer email addresses by alias at proofgeneral.org. + + * FAQ: Updated. + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * isar/isar-syntax.el: + Version from Gerwin with performance fixes + + * isar/isar-syntax.el: + Version without match save, and disabling isar-match-antiq. + + * generic/proof-script.el: + Buglet in proof-mark-buffer-atomic + + * generic/proof-config.el: + Default to not using pad-eol + + * CHANGES: Updated. + 2003-05-20 David Aspinall * Makefile.devel: -- cgit v1.2.3