diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 21:55:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 21:55:13 +0000 |
commit | a786906683fc129c1980cca981d171241c74dda6 (patch) | |
tree | b20c5a149e46599150dd64fcbe3873931db9506c | |
parent | f3c331b28eb79a08131df723444eb0ebfc7452c2 (diff) |
Updated.
-rw-r--r-- | ChangeLog | 94 |
1 files changed, 94 insertions, 0 deletions
@@ -1,5 +1,99 @@ 2002-08-08 David Aspinall <da@proofgeneral.org> + * generic/proof-toolbar.el, generic/proof-menu.el, generic/proof-script.el, generic/pg-user.el, generic/proof-config.el: + Generalise proof elements to include comments, show/hiding of comments. + + * doc/ProofGeneral.texi: + Authorship, comments. + + * ChangeLog: Updated. + + * doc/PG-adapting.texi: Fix markup + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * README.exper: Doc + + * isa/isa.el: + Simplify theorem dep / Isabelle patch loading + + * Makefile.devel: bugs file ignored + + * generic/proof-depends.el: + Fix dep highlighting for Emacs 21 by setting priorities. + + * README.exper: More docs for deps. + + * generic/proof-config.el: + Enable exper features for pre-releases automatically. + + * generic/pg-user.el: + Add span context menu support for Emacs21. + + * README.exper: New files. + + * CHANGES: Updated. + + * html/develdownload.php, html/doc.html: + Typos/fixes. + + * lclam/lclam.el, isa/thy-mode.el: + Remove proof-shared-menu. + + * todo, BUGS, CHANGES, INSTALL, README: + Updates + + * generic/proof-autoloads.el, generic/proof-depends.el: + Fix autoload for context menu; add proof-shell-show-dependency-cmd. + + * generic/proof-script.el: + Prevent proof spans being duplicated. + + * generic/proof-site.el: Docstring + + * isa/isa.el: + Set proof-shell-show-dependency-cmd + + * isa/depends.ML: + Updated for Isabelle2002. + + * generic/pg-user.el: + Fix condition for displaying dependency menu + + * generic/proof-config.el: + Tweak menu; add proof-shell-show-dependency-cmd + + * generic/proof-autoloads.el: Updated + + * doc/PG-adapting.texi, doc/ProofGeneral.texi: + Fix email addresses; tweaks. + + * bugs: New files. + + * generic/proof-utils.el, generic/proof-menu.el: + Allow favourite saving when user wants. + + * README.windows: Deleted file + + * doc/ProofGeneral.texi: Trivial. + + * generic/proof-script.el: + Use glyph for hidden proofs; add open isearch props; tweak element handling fns. + + * Makefile.devel: Add lclam + + * images/hiddenproof.xpm, images/hiddenproof.xcf: + New files. + + * isar/isar.el, generic/proof-splash.el, isa/isa.el: + proof-splash-display-image -> proof-get-image; generalise for xpm images. + + * generic/proof-site.el: + Added lclam proof site entry + +2002-08-08 David Aspinall <da@proofgeneral.org> + * doc/PG-adapting.texi: Fix markup * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: |