Updated.

1 files changed, 7 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index eb7ea16b..de2d5ee5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,13 @@
 
 * Summary of Changes for Proof General 3.5pre from 3.4
 
+** Generic changes
+
+*** Parsing internals changed: minor user visible differences
+
+Please report any problems/annoyances.   
+Not yet enabled for Isabelle/Isar.
+
 
 ** GNU Emacs compatibility improvements