diff options
| author | David Aspinall | 2001-08-17 19:02:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-17 19:02:56 +0000 |
| commit | 43694ca4ca0d260116bd43d0715f19dc2c2cb5a8 (patch) | |
| tree | 37edbcc4742b760e76cb40458f1c9f9c58c38b87 | |
| parent | c3e27844d76e3eca2748e38d262e6dfaa38dddaa (diff) | |
Updated.
| -rw-r--r-- | ChangeLog | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -1,5 +1,25 @@ 2001-08-17 David Aspinall <da@proofgeneral.org> + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: + Set version tag for new release. + + * generic/proof-script.el: + Trim visibility implementation: + - remove visibility specs and script portion records during undo + - clear visibility specs on restart + + * generic/span-extent.el, generic/span-overlay.el: + Add span-delete-action hook + + * CHANGES: Minibuffer contents bug fix + + * generic/proof-utils.el: + Fix bug in proof-display-and-keep-buffer which had resulted in switching minibuffer windows buffer. + +2001-08-17 David Aspinall <da@proofgeneral.org> + * etc/ProofGeneral.spec, html/develdownload.php, html/devel.html, generic/proof-site.el: Set version tag for new release. |