Updated.

1 files changed, 66 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 476f8081..058e47f9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,69 @@
+2002-08-27  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php:
+	Set version tag for new release.
+
+	* doc/ProofGeneral.texi: Updated magic
+
+	* generic/pg-response.el: Docstring
+
+	* generic/proof-menu.el:
+	Move C-c C-w to universal keys
+
+	* generic/proof-config.el:
+	Add C-c C-w to universal keys.
+
+	* generic/proof-menu.el:
+	Key for pg-response-clear-displays.
+
+	* generic/proof-menu.el: Conventions
+
+	* CHANGES: Updated.
+
+	* etc/announce: Updated
+
+	* doc/dir, doc/localdir:
+	Tweak
+
+	* doc/dir: Add PG adapting.
+
+	* generic/proof-config.el: Menu name
+
+	* BUGS: Updated.
+
+	* generic/proof-shell.el:
+	Disable undo history for efficiency; improve kill buffer hook.
+
+	* generic/proof-menu.el:
+	Menu entry to clear response buffers.
+
+	* generic/pg-response.el:
+	Disable undo history for efficiency; add clear response buffers function; clear modified flag.
+
+	* generic/pg-goals.el:
+	Disable undo history for efficiency.
+
+	* README.devel, README:
+	Updated
+
+2002-08-26  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
+	Set version tag for new release.
+
+	* generic/proof-utils.el:
+	Oops: has to be error to prevent killing, of course...
+
+	* generic/pg-goals.el, generic/pg-response.el, generic/proof-utils.el:
+	Try to prevent associated buffers being killed off by user.
+
+	* isa/Example-Xsym.ML:
+	Add example of sub/sup/bold in comment.
+
+	* etc/isa/parsing.ML: New files.
+
 2002-08-26  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: