From c5b686a1c2d7d3539e7c67292c7f5d21b4810296 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 13 Oct 2010 11:47:45 +0000
Subject: Update for config changes.

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'CHANGES')

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
 
 
 
-- 
cgit v1.2.3