From a3850155fc8a2932a326b8bf13d3e81e68806a07 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 12:47:09 +0000
Subject: Updated.

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

diff --git a/CHANGES b/CHANGES
index cc587003..ede98418 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,12 +6,17 @@
 
 *** Fixes and improvements, compatibility patches
 
-- Unicode Tokens: supports control tokens (Isabelle sub/super scripts)
+- Unicode Tokens: supports control tokens (Isabelle sub/super/fonts)
 - Fix Options saving for MMM, Maths Menu, Unicode Tokens.
 - Compatibility improvements for: Carbon Emacs
 
 
 
+** Coq changes
+
+- Add Undo Depth setting, default to 200 (Coq 8.1 has only 100)
+
+
 
 
 
-- 
cgit v1.2.3