From 1a7c83a5b77bd494bf03ebde0973dd67e23f698f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 30 Jan 2008 12:47:46 +0000
Subject: Updated.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 57b8423e..a9929566 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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)
-- 
cgit v1.2.3