aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CHANGES7
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.