From a73e41c7cbdb8a93467ca5f34f4735c911030354 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 8 Oct 2001 10:18:24 +0000 Subject: Updated. --- ChangeLog | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) diff --git a/ChangeLog b/ChangeLog index f3a4ee8d..736710e9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,55 @@ +2001-10-08 David Aspinall + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * CHANGES: Add back note. + +2001-10-04 Markus Wenzel + + * isar/isar.el: + added isar-help-induct-rules; + +2001-10-04 David Aspinall + + * CHANGES: Remove note for devel + + * generic/proof-toolbar.el: + Fix fudged enabler to call button function interactively. + +2001-09-26 Markus Wenzel + + * isa/x-symbol-isabelle.el: + support \<^bold> control symbols; + + * generic/proof-config.el: + fixed spelling; + +2001-09-24 David Aspinall + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * coq/coq.el: + Add Lemma to exclusion for coq-goal-command-p. + + * doc/PG-adapting.texi: Update magic + + * doc/docstring-magic.el: New line + + * generic/proof-config.el: + Fix error in docs of stop-silent-command, and name of pre-shell-start-hook. + + * doc/ProofGeneral.texi: + Another bug reporter + + * generic/proof-shell.el: + Implement Robert Schnecks idea to help Coq display whole of goals output. + + * CHANGES: Devel release is tweaked 3.3 + 2001-09-24 David Aspinall * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: -- cgit v1.2.3