From 2180215b540dbbb672fc1f495ae5cc70db33a603 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 7 Dec 2000 13:00:43 +0000 Subject: Updated. --- ChangeLog | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/ChangeLog b/ChangeLog index 1ca2f5f5..7da6240f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,22 @@ +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