Updated.

1 files changed, 15 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 04237adf..cc587003 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,6 +2,21 @@
 
 * Summary of Changes for Proof General 3.7.1 from 3.7
 
+** Generic changes
+
+*** Fixes and improvements, compatibility patches
+
+- Unicode Tokens: supports control tokens (Isabelle sub/super scripts)
+- Fix Options saving for MMM, Maths Menu, Unicode Tokens.
+- Compatibility improvements for: Carbon Emacs
+
+
+
+
+
+
+
+