From d2d539facd7a239a09cb43fa06ec8cfc34388eea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Aug 2002 17:40:12 +0000
Subject: Updated.

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

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