From 6b513efc57e4f18d4c5472518f64934f6884539b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 9 Sep 2001 14:46:56 +0000 Subject: Updated. --- ChangeLog | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) diff --git a/ChangeLog b/ChangeLog index cafafd00..2bf63dab 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,57 @@ +2001-09-09 David Aspinall + + * 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-06 Markus Wenzel + + * isa/interface, isar/interface: + tuned usage; + +2001-09-05 David Aspinall + + * doc/ProofGeneral.texi: + Mention pg-toggle-visibility and its keybinding + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php: + Set version tag for new release. + + * generic/pg-metadata.el: Incomplete + + * doc/ProofGeneral.texi: Todo + + * CHANGES, todo: + Updated + + * generic/proof-menu.el: + Add keybindings for new commands for moving/navigating spans. + + * generic/proof-script.el: + Fix problem with C-x C-v by copying buffer-file-name. Add children property to control spans. + + * generic/pg-user.el: + Improved span moving and navigation commands. + 2001-09-05 David Aspinall * etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php: -- cgit v1.2.3