From 43694ca4ca0d260116bd43d0715f19dc2c2cb5a8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 17 Aug 2001 19:02:56 +0000 Subject: Updated. --- ChangeLog | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/ChangeLog b/ChangeLog index 0af52e5f..b1603867 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,23 @@ +2001-08-17 David Aspinall + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * generic/proof-script.el: + Trim visibility implementation: + - remove visibility specs and script portion records during undo + - clear visibility specs on restart + + * generic/span-extent.el, generic/span-overlay.el: + Add span-delete-action hook + + * CHANGES: Minibuffer contents bug fix + + * generic/proof-utils.el: + Fix bug in proof-display-and-keep-buffer which had resulted in switching minibuffer windows buffer. + 2001-08-17 David Aspinall * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: -- cgit v1.2.3