Updated.

1 files changed, 6 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index 1efde5dc..0f980d1a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -15,11 +15,16 @@
 
 ** Generic changes
 
+
+
 *** Parsing internals changed: minor user visible differences
 
 Please report any problems/annoyances which may be unexpected.
 NB: Not yet enabled for Isabelle/Isar.
 
 
-** Colour improvements
+*** Tweaks to menus,  colours
+
+Electric terminator menu option more visible. 
+Reduce contrast for mouse highlighting of regions.