From 4ae05c6d7ea170c101df8ec8c3b56b412477b9f9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 9 Sep 2001 16:41:08 +0000 Subject: Updated. --- ChangeLog | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/ChangeLog b/ChangeLog index 2bf63dab..dbac9e59 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,38 @@ +2001-09-09 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: Update for 3.4pre + + * html/footer.html: + Remove validation stamp from footer, since its a lie. + + * CHANGES: No changes yet + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, generic/proof-site.el: + Set version tag for new release. + + * html/download.html: Trim page a bit + + * html/news.html, html/oldnews.html: + Announce 3.3 + + * html/doc.html: Release 3-3. + + * etc/release-log.txt: + Release date of 3-3. + + * html/download.html: + Mention paper letter registrations. + + * html/download.html: + Remove to be released line + + * doc/PG-adapting.texi: Update docs. + 2001-09-09 David Aspinall * etc/ProofGeneral.spec, generic/proof-site.el: -- cgit v1.2.3