From d566389017383722af7f3390569cd51f96325fee Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 23 Jul 2001 09:23:13 +0000 Subject: Updated. --- ChangeLog | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 366e2884..196bade9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,47 @@ +2001-07-23 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * generic/proof-menu.el: + Prevent error msg in proof-display-some-buffers if response dead. + + * generic/proof-shell.el: + Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals display convention, not hack. + +2001-07-09 David Aspinall + + * ChangeLog: Updated. + + * todo: + TODO for proof-ass fixing added. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * generic/proof-toolbar.el: + Clean for compile + + * generic/proof-menu.el: + Clean for compile: new autload + + * generic/proof-autoloads.el: Refresh + + * generic/pg-xml.el, generic/pg-user.el: + Clean-up compile + + * generic/proof-compat.el: + Add require for arch flags, cleaner compilation. + + * generic/pg-pgip.el: + Fix some bugs shown by byte comp + + * generic/proof-autoloads.el: + Updated autoloads + + * generic/_pkg.el: + Package file (old attempt -- not working) + 2001-07-09 David Aspinall * todo: -- cgit v1.2.3