From 4e4dfa2818c60855d7f2b9b79d09719b59b6c26f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 10 Aug 2001 15:17:15 +0000 Subject: Updated. --- ChangeLog | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/ChangeLog b/ChangeLog index c40b2c0b..098389fa 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,43 @@ +2001-08-10 David Aspinall + + * CHANGES: Explain symptom properly + + * generic/proof-script.el: + Use proof-looking-at-syntactic-context function from proof-syntax, as suggested by Markus + + * generic/proof-syntax.el: + Found another instance of buffer-syntactic-context + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: + Put all in dist except pgkit + + * README: + Rearrange list of assistants, note REGISTER. + + * FAQ: Remove note about 3.1 + + * BUGS: Comment about win32 XEmacs + + * generic/proof-compat.el: + Workaround for buffer-syntactic-context bug in XEmacs 21.1 + + * generic/proof-script.el, isar/isar.el: + Change buffer-syntactic-context -> proof-buffer-syntactic-context + + * etc/isar/XEmacsSyntacticContextProb.thy: + Bug test case, note workaround date + + * etc/isar/XEmacsSyntacticContextProb.thy: + Bug test case + + * CHANGES: + Note of bug fix for buffer-syntactic-context + 2001-08-10 David Aspinall * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: -- cgit v1.2.3