From 58a4a962141adf476f0f09f09301f1e1511ba166 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 12 Jul 2008 14:10:06 +0000
Subject: Updated.

---
 CHANGES | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index ff6890fe..85b5db98 100644
--- a/CHANGES
+++ b/CHANGES
@@ -7,8 +7,10 @@
 *** Fixes and improvements, compatibility patches
 
 - Unicode Tokens: supports control tokens (Isabelle sub/super/fonts).
-   This support is preliminary; editing files is unreliable.
-   X-Symbol is still recommended.
+   This is experimental; editing files with subs/supers may be unreliable.
+   X-Symbol is still recommended.  Please note: this mode will
+   probably be dropped in future, in favour of a font-lock based
+   mechanism more similar to X-Symbol.
 - Fix Options saving for MMM, Maths Menu, Unicode Tokens.
 - Compatibility improvements for: Carbon Emacs, latest Emacs 23 CVS.
 
-- 
cgit v1.2.3