Updated.

1 files changed, 17 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index e847f7bd..1ca2f5f5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,22 @@
 2000-12-07  David Aspinall  <da@proofgeneral.org>
 
+	* generic/pg-pgip.el: Typo.
+
+	* etc/ProofGeneral.spec, Makefile, Makefile.devel:
+	Name change af2 -> phox
+
+	* generic/pg-pgip.el:
+	Beginnings of pgip processing
+
+	* generic/pg-xml.el: Add provide
+
+	* ChangeLog: Updated.
+
+	* etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el:
+	Set version tag for new release.
+
+2000-12-07  David Aspinall  <da@proofgeneral.org>
+
 	* etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el:
 	Set version tag for new release.