diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-03-22 18:07:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-03-22 18:07:13 +0000 |
commit | 457b32e4125e71f81012152f50c8503d2a3c5ec3 (patch) | |
tree | 7ba3df9029c598445ae3d550d0c3d9fc0a506320 /ChangeLog | |
parent | c14bdd58d88cbde2a6903a87f5d0da8e0c8256f1 (diff) |
Updated.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 67 |
1 files changed, 67 insertions, 0 deletions
@@ -1,3 +1,70 @@ +2002-03-22 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + +2002-03-21 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * phox/phox-font.el: + *** empty log message *** + +2002-03-21 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * CHANGES: Improvement to ACL2 + + * acl2/acl2.el: + Greatly improved support. + + * html/download.html: Typo + + * html/develdownload.php: + No longer recommend XEmacs exclusively. + + * html/oldrel.php: FSF -> GNU + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * Makefile.devel: + Revert accidental commit by crr + + * CHANGES: Updated. + + * generic/proof.el, generic/proof-toolbar.el, generic/proof-utils.el, generic/pg-pgip.el, generic/pg-user.el, generic/proof-depends.el, generic/proof-easy-config.el, generic/proof-splash.el, generic/pg-metadata.el: + Year changes + + * generic/proof-shell.el: + Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-before-error setting. + + * generic/proof-script.el: + Dont set type property for proof elements (experiment). Tweak name determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings + + * generic/proof-menu.el: + Added activations for frame/window controls. + + * generic/proof-config.el: + Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default. + + * generic/proof-compat.el: + Added emultation of display-graphic-p for XEmacs + + * generic/pg-xml.el: + Add header to XML docs + + * generic/pg-xhtml.el: New files. + + * doc/PG-adapting.texi: + Document some new settings + +2002-03-21 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * phox/phox.el, phox/x-symbol-phox.el, generic/proof-config.el, generic/proof-utils.el, phox/phox-font.el, Makefile.devel: + added hook: proof-before-fontify-output-hook + 2002-03-21 David Aspinall <da@proofgeneral.org> * CHANGES: Improvement to ACL2 |