diff options
| author | David Aspinall | 2008-07-12 14:10:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-12 14:10:06 +0000 |
| commit | 58a4a962141adf476f0f09f09301f1e1511ba166 (patch) | |
| tree | 5ac224f2a2a17a17498c7f07e06fe3196bee939e | |
| parent | 776b39b1bb143dc657305e59ebfa3e065b1a4129 (diff) | |
Updated.
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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. |
