Updated.

1 files changed, 49 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 84739299..5c0a02d3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,52 @@
+2000-12-21  David Aspinall  <da@proofgeneral.org>
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html:
+	Set version tag for new release.
+
+	* etc/ProofGeneral.spec: .phox -> .phx
+
+	* phox/example.af2, phox/example.phx:
+	Renamed file
+
+2000-12-20  David Aspinall  <da@proofgeneral.org>
+
+	* ChangeLog: Updated.
+
+	* doc/PG-adapting.texi: Fix magic
+
+	* generic/proof-shell.el:
+	Fix comment to not break texi magic
+
+	* generic/texi-docstring-magic.el:
+	More broken escapes.
+
+	* etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html:
+	Set version tag for new release.
+
+	* CHANGES: Mentioned important changes
+
+	* lego/lego.el, isar/isar.el, generic/pg-user.el:
+	goalsave -> proof
+
+	* coq/coq.el:
+	Experimental support for multiple file handling.
+	'goalsave -> 'proof
+
+	* doc/PG-adapting.texi:
+	Document proof-shell-last-output and friends
+
+	* phox/phox-sym-lock.el, phox/sym-lock.el:
+	Renamed file
+
+	* generic/proof-site.el:
+	Testing line for PGIP.
+
+	* generic/proof-shell.el:
+	Improvements to span handling, including new variables: proof-shell-last-output-kind and friends
+
+	* generic/proof-script.el:
+	Improvements to span handling
+
 2000-12-20  David Aspinall  <da@proofgeneral.org>
 
 	* doc/PG-adapting.texi: Fix magic