From 13912f5f7bab5816eb986d93150211b001b9062d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 7 Dec 2000 14:41:56 +0000 Subject: Updated. --- ChangeLog | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 7da6240f..a47b7be3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -17,6 +17,25 @@ * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: Set version tag for new release. +2000-12-07 David Aspinall + + * ChangeLog: Updated. + + * 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 * generic/pg-pgip.el: Typo. -- cgit v1.2.3