diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 12:55:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 12:55:05 +0000 |
| commit | a4e2953bd7c0744d965b65032200c7d1f31c4f0f (patch) | |
| tree | 4a380c8a1f0f76294a7f54f35ac80af9753f927c /CHANGES | |
| parent | d7b92f6627f709755a56065254362ae5bb9ca714 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -86,6 +86,7 @@ less than 1/2 the window height. In progress; occasional flaws (e.g. when output window buffer total window height). Available under PG -> Options -> Display -> Shrink To Fit. +*** Add proof-indent-pad-eol setting to prettify locked regions in XEmacs. *** Parsing internals changed: minor user visible differences |