From 48965b4c1f857ca45a415637bde4893b3bc41706 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 24 May 2003 11:38:48 +0000 Subject: Updated. --- ChangeLog | 53 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index e2477f87..b9fe11a2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,56 @@ +2003-05-24 David Aspinall + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * generic/pg-user.el: + Rotate buffers display can display next buffer + + * generic/proof-menu.el: + Include next buffer in hint for rotate buffers + + * generic/pg-response.el: + Revert to displaying empty buffer for sake of pr in Isar + + * etc/profiling.txt, CHANGES: + Updated. + + * generic/proof-shell.el: + Add hint triggered when processing complete + + * generic/proof-menu.el: + Switch order of buffers displayed by C-c C-l. Add hint. + + * generic/proof-utils.el: + Tweak to shrink-to-fit + + * generic/pg-user.el: + Added hint mechanism + + * generic/pg-response.el: + Do not display empty responses + + * generic/proof-config.el: + Add pg-show-hints + +2003-05-23 David Aspinall + + * isa/isabelle-system.el: + Add a location under HOME to search path for isatool + + * ChangeLog: Updated. + + * generic/proof-utils.el: + Improved version of shrink-to-fit (still problematic) + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/devel.html, generic/proof-site.el, html/develdownload.php: + Set version tag for new release. + + * isar/isar-syntax.el: + Fix from Gerwin to repair grouping + 2003-05-23 David Aspinall * generic/proof-utils.el: -- cgit v1.2.3