From 7332d691f879ddaa23426baafee1b019ed099715 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 19 Feb 2003 14:33:47 +0000 Subject: Updated. --- ChangeLog | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/ChangeLog b/ChangeLog index 804c6ee2..0b1da27b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,44 @@ +2003-02-19 David Aspinall + + * generic/proof-x-symbol.el, generic/pg-goals.el, generic/pg-response.el, generic/proof-autoloads.el, generic/proof-shell.el: + Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. + + * isar/isar-mmm.el: Documentation. + + * generic/proof-menu.el: + Docs; same safe-fail for MMM as X-Symbol. + + * generic/proof-x-symbol.el: + Documentation. + + * generic/proof-mmm.el: + Use bundled version off mmm first + + * x-symbol/README.ProofGeneral: + New files. + + * mmm/ProofGeneral.txt, mmm/README.ProofGeneral: + Renamed file + + * isar/todo, ChangeLog: + Updated. + + * etc/isar/Depends.thy: New files. + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * CHANGES, BUGS: + Updated. + + * generic/proof-mmm.el, generic/proof-script.el, generic/proof-x-symbol.el, generic/proof-autoloads.el, generic/proof-menu.el: + Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or + off minor modes in buffers automatically. Now the PG setting controls + the "default global for PG buffers" for each of these. The menu + checkbox simply displays the current minor mode status. When this + is changed, the PG global mode follows suit. We do not try to + apply the change to all PG buffers (30 minutes of fontification!). + 2003-02-19 David Aspinall * etc/isar/Depends.thy: New files. -- cgit v1.2.3