From fd2e8c190ca4ec0b0c8a26e04c4804a62477c4e7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Jan 2002 15:48:05 +0000 Subject: Updated. --- ChangeLog | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/ChangeLog b/ChangeLog index f9aa6a3f..cd9127b2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,46 @@ +2002-01-15 David Aspinall + + * generic/proof-shell.el: + Remove defunct code + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * html/feedback.html: Deleted files. + + * CHANGES: + Describe tracing improvements. + + * generic/proof-utils.el: + windows-of-buffer -> get-buffer-window-list GNU name + + * generic/proof-shell.el: + Inspect quit-flag when displaying tracing output; send an interrupt to the prover if set. + + * generic/proof-shell.el: + Redisplay during tracing output on XEmacs + + * html/projects.html, html/download.html, html/gallery.php, html/links.html, html/main.html, html/oldnews.html: + Fix link to feedback page + +2002-01-14 Markus Wenzel + + * etc/isar/trace_simp.thy: tuned; + + * etc/isar/trace_simp.thy: + some test cases for trace_simp output; + +2002-01-11 David Aspinall + + * COPYING: Fix numbering + + * CHANGES: Fix number + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + 2002-01-11 David Aspinall * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: -- cgit v1.2.3