Note of Emacs 21 support

1 files changed, 7 insertions, 0 deletions

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.