From 4e76621629326c8dbb6e18444030c4632f96a498 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 7 Dec 2000 12:51:13 +0000 Subject: Updated. --- ChangeLog | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/ChangeLog b/ChangeLog index e847f7bd..1ca2f5f5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,20 @@ +2000-12-07 David Aspinall + + * 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 * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: -- cgit v1.2.3