From cf3c935fccc5d6fd0d2b8816fd850902ad9b47dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 00:56:11 +0000
Subject: Note of Emacs 21 support

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

diff --git a/CHANGES b/CHANGES
index 2ea4fc57..a856d3a0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,6 +2,13 @@
 
 * Summary of Changes for Proof General 3.4pre from 3.2
 
+** Generic Changes
+
+***  Support added for Emacs 21 
+
+   Toolbar and splash screen supported  
+    [seems good; please tell me of any problems] 
+
 ** Isabelle Changes
 
    Isabelle/Isar syntax changes.
-- 
cgit v1.2.3