From 1478a03a2cf50159ba0f4b59e567f3112b7c767c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Aug 2002 12:50:35 +0000
Subject: Updated.

---
 CHANGES | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index e9a47964..eb7ea16b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -9,5 +9,13 @@
 * Summary of Changes for Proof General 3.5pre from 3.4
 
 
- <<  No changes yet >>
+** GNU Emacs compatibility improvements
 
+*** Several improvements, credit to Stefan Monnier.
+
+
+** Coq
+
+*** Improvements to syntax handling from Stefan Monnier (nested comments)
+
+ 
-- 
cgit v1.2.3