diff options
author | 2001-09-09 17:44:00 +0000 | |
---|---|---|
committer | 2001-09-09 17:44:00 +0000 | |
commit | 0c415e0691f377b84a26d7a8fdfec3cc75cd9df2 (patch) | |
tree | 4a410234e0c4f0036d09a6580f39c5c488990aa9 | |
parent | 49bc5104918a6adcf679fa2622a978ca8b01be24 (diff) |
Updated.
-rw-r--r-- | ChangeLog | 59 |
1 files changed, 59 insertions, 0 deletions
@@ -1,5 +1,64 @@ 2001-09-09 David Aspinall <da@proofgeneral.org> + * etc/ProofGeneral.spec, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: Finished shift to 3.4 + + * html/kit: Link to kit.php + + * html/kit.html, html/kit.php: + File determination nonsense + + * html/download.html: + Change over to some .php files. + + * CHANGES: + Backtrack to previous CHANGES file for now. + + * coq/README, lego/README: + Coq/lego confusion + + * coq/BUGS: + Bug in new parsing for coq, mention + + * ChangeLog: Updated. + + * 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 <da@proofgeneral.org> + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: Set version tag for new release. |