Updated.

1 files changed, 62 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index cd9127b2..611574f2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,65 @@
+2002-01-16  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* lego/example.l, isar/Example.thy, coq/example.v:
+	Whitespace
+
+	* generic/proof.el: Comments
+
+	* generic/proof-script.el:
+	Also bury trace buffer
+
+	* generic/proof-config.el: Comments
+
+	* isa/Example.ML: Whitespace
+
+	* generic/proof-shell.el:
+	Only create trace buffer if liable to be used.  Remove experimental spill-output style tracing code.
+
+	* generic/proof-config.el, isar/isar.el, isa/isa.el:
+	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook
+
+	* isa/isa.el, isar/isar.el, generic/proof-config.el:
+	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp
+
+	* doc/PG-adapting.texi:
+	FSF Emacs -> GNU Emacs
+
+	* doc/ProofGeneral.texi:
+	Document the tracing buffer; FSF Emacs -> GNU Emacs
+
+2002-01-15  David Aspinall  <da@proofgeneral.org>
+
+	* generic/proof-x-symbol.el:
+	Also put trace buffer in x sym mode
+
+	* ChangeLog: Updated.
+
+	* generic/proof-shell.el:
+	Remove defunct code
+
+	* etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+	* html/feedback.html: Deleted files.
+
+	* CHANGES:
+	Describe tracing improvements.
+
+	* generic/proof-utils.el:
+	windows-of-buffer -> get-buffer-window-list GNU name
+
+	* generic/proof-shell.el:
+	Inspect quit-flag when displaying tracing output; send an interrupt to the prover if set.
+
+	* generic/proof-shell.el:
+	Redisplay during tracing output on XEmacs
+
+	* html/projects.html, html/download.html, html/gallery.php, html/links.html, html/main.html, html/oldnews.html:
+	Fix link to feedback page
+
 2002-01-15  David Aspinall  <da@proofgeneral.org>
 
 	* generic/proof-shell.el: