From 267c47d5d5a31f652e50ae03961906ec0c49bb85 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 31 Aug 2002 13:03:00 +0000
Subject: Updated.

---
 CHANGES | 17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

diff --git a/CHANGES b/CHANGES
index ace99c57..1efde5dc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,11 @@
 
 * Summary of Changes for Proof General 3.5pre from 3.4
 
+** GNU Emacs compatibility, simplified font-lock, handling nested comments
+
+*** Numerous improvements, credit to Stefan Monnier.
+
+
 ** Generic changes
 
 *** Parsing internals changed: minor user visible differences
@@ -15,16 +20,6 @@
 Please report any problems/annoyances which may be unexpected.
 NB: Not yet enabled for Isabelle/Isar.
 
-*** Colour improvements
-
-
-** GNU Emacs compatibility improvements
-
-*** Several improvements, credit to Stefan Monnier.
-
-
-** Coq
 
-*** Improvements to syntax handling from Stefan Monnier (nested comments)
+** Colour improvements
 
- 
-- 
cgit v1.2.3