Updated.

1 files changed, 81 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index a9211a39..bc2c853e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,84 @@
+2002-08-31  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php:
+	Set version tag for new release.
+
+	* generic/proof-syntax.el, generic/proof-utils.el:
+	Documentation.
+
+	* doc/PG-adapting.texi:
+	Doc new proof-zap-commas
+
+	* doc/Makefile.doc: Add -q to emacs
+
+	* generic/proof-syntax.el, generic/proof-utils.el, lego/lego.el, lego/lego-syntax.el, generic/proof-config.el, generic/proof-script.el, coq/coq.el, coq/coq-syntax.el:
+	Improved implementation of zap-commas font lock behaviour, patch from Stefan Monnier
+
+	* CHANGES: Updated.
+
+	* generic/span-overlay.el:
+	Test inhibit-read-only
+
+	* generic/proof-script.el: Comments
+
+	* generic/proof-config.el:
+	Try to reduce contrast for highlighting face
+
+2002-08-30  David Aspinall  <da@proofgeneral.org>
+
+	* generic/pg-user.el: Updated.
+
+	* generic/pg-user.el:
+	GNU Emacs: avoid using own-clipboard
+
+	* isar/isar.el:
+	Use old parser still for Isar for time being (see note in source)
+
+	* CHANGES: Updated.
+
+	* generic/proof-utils.el: Tidy display
+
+	* generic/proof-shell.el: Updated.
+
+	* generic/pg-response.el: Tidy display
+
+	* generic/proof-config.el:
+	Switch to using new parser by default.  Disable fly-past-comments by default.
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html:
+	Set version tag for new release.
+
+	* etc/coq/parsing.v: New files.
+
+	* CHANGES: Updated.
+
+	* generic/proof-splash.el:
+	Dont restore window config if it seems like a different frame was used.
+
+	* coq/coq-syntax.el: Formatting
+
+	* generic/proof-script.el:
+	Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs.
+
+	* generic/proof-config.el, BUGS, generic/span-extent.el, generic/span-overlay.el:
+	Strict read works on GNU Emacs 21.2.
+
+2002-08-29  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-script.el:
+	Imenu addition, layout fixes, from Stefan Monnier
+
+	* coq/coq-syntax.el:
+	Layout/docstring improvements (based on patch from Stefan Monnier)
+
+	* coq/coq.el:
+	mPatch from Stefan Monnier [buffer-substring].
+
+	* coq/coq-syntax.el:
+	Patch for nested comments from Stefan Monnier.
+
 2002-08-30  David Aspinall  <da@proofgeneral.org>
 
 	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: