aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall2008-07-12 14:10:06 +0000
committerDavid Aspinall2008-07-12 14:10:06 +0000
commit58a4a962141adf476f0f09f09301f1e1511ba166 (patch)
tree5ac224f2a2a17a17498c7f07e06fe3196bee939e
parent776b39b1bb143dc657305e59ebfa3e065b1a4129 (diff)
Updated.
-rw-r--r--CHANGES6
1 files 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.