From 66c2143268db98df27b6fd629016e6871469bb90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 09:37:20 +0000
Subject: Updated

---
 CHANGES | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 9fff26cf..a4881953 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,7 +8,9 @@
 
 *** Font-lock based Unicode Tokens mode replaces X-Symbol
 
-*** X-Symbol is no longer used or bundled
-
 *** Removed configuration options
     proof-toolbar-use-button-enablers  (now always enabled)
+
+*** Electric terminator configurable to not insert terminator
+    This is the default behaviour for Isar with electric terminator
+    (semicolon is more convenient than C-c C-RET or C-c C-n).
-- 
cgit v1.2.3