From 09438adf6ad9bb07a4717ded1d8d3c2356e017b4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 16 Jan 2002 16:47:48 +0000 Subject: Updated. --- ChangeLog | 62 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 62 insertions(+) diff --git a/ChangeLog b/ChangeLog index cd9127b2..611574f2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,65 @@ +2002-01-16 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * lego/example.l, isar/Example.thy, coq/example.v: + Whitespace + + * generic/proof.el: Comments + + * generic/proof-script.el: + Also bury trace buffer + + * generic/proof-config.el: Comments + + * isa/Example.ML: Whitespace + + * generic/proof-shell.el: + Only create trace buffer if liable to be used. Remove experimental spill-output style tracing code. + + * generic/proof-config.el, isar/isar.el, isa/isa.el: + Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook + + * isa/isa.el, isar/isar.el, generic/proof-config.el: + Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp + + * doc/PG-adapting.texi: + FSF Emacs -> GNU Emacs + + * doc/ProofGeneral.texi: + Document the tracing buffer; FSF Emacs -> GNU Emacs + +2002-01-15 David Aspinall + + * generic/proof-x-symbol.el: + Also put trace buffer in x sym mode + + * ChangeLog: Updated. + + * 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-15 David Aspinall * generic/proof-shell.el: -- cgit v1.2.3