1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 596b71ab..29fcf03d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,6 +5,11 @@
 ** Generic changes
 
 *** Parsing now uses cache by default (proof-use-parser-cache=t).
+    Speeds up undo/redo in long buffers if no edits are made.
+
+** Isabelle changes
+
+*** Unicode tokens enabled by default