From ae7413caac3728d2960ef4ffbe52cd24c3acc43e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 28 Aug 2001 16:01:44 +0000 Subject: Updated. --- ChangeLog | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/ChangeLog b/ChangeLog index b1603867..3d71c65b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,51 @@ +2001-08-28 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * generic/proof-script.el: + Change of proof span type back to goalsave fix + + * lego/lego.el, coq/coq.el, phox/phox-fun.el, isar/isar.el: + Change of proof span type back to goalsave + + * generic/proof-splash.el: + Remove dependent setting of timeout, since bin calls different fn now. + + * bin/proofgeneral: + Call function which always waits to prevent odd mode selection bug. + + * generic/proof-splash.el: Trivial + + * generic/proof-splash.el: + Remove mention of toolbar variable. Make timeouts vary according to how started. + + * generic/proof-splash.el: + Timeout happens as intended now, while loading some parts of PG. + + * html/header.html, html/proofgen.css: + Improve stylesheet syntax, make menubar smaller + +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 * ChangeLog: Updated. -- cgit v1.2.3