diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 12:47:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 12:47:46 +0000 |
| commit | 1a7c83a5b77bd494bf03ebde0973dd67e23f698f (patch) | |
| tree | 76f85fa711938db876e9f890bd23f5f42a9880e3 | |
| parent | cd780b1a878968146d2cb0429abdcd96f956ee95 (diff) | |
Updated.
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,8 +13,8 @@ See also etc/release-log.txt for minor patches. - Reworked icons to better match style of GNU Emacs/Gnome. - History for processed commands in active script buffer (M-n, M-p) - Undo history in read-only area discarded (see: proof-allow-undo-in-read-only) -- proof-indent-pad-eol option removed (spurious spaces were objectionable) - Context menu for spans: option to undo. +- proof-indent-pad-eol option removed (spurious spaces were objectionable) - Many fixes and code cleanups. *** New input mechanisms for Unicode added (preliminary version) |