diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 20:31:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 20:31:09 +0000 |
| commit | a4a782c01c52770ac21a73c932c84bfbe0648b73 (patch) | |
| tree | dae27a344c59b0f1eb4e9eef1831e73d4742422d /ChangeLog | |
| parent | cc07dc0a3ee4a1caa853ed65aa6b6d6fb39caf40 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 29 |
1 files changed, 29 insertions, 0 deletions
@@ -1,5 +1,34 @@ 2003-05-20 David Aspinall <da@proofgeneral.org> + * 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 <da@proofgeneral.org> + * Makefile.devel: Fix tabs in developer list |