changeset 47172 | 9fc17f9ccd6c |
parent 47167 | 099397de21e3 |
parent 47158 | d317a71f24d5 |
child 47185 | 300fa46fd081 |
--- a/NEWS Tue Mar 27 22:10:26 2012 +0200 +++ b/NEWS Wed Mar 28 08:25:51 2012 +0200 @@ -11,6 +11,8 @@ - markup for bound variables - markup for types of term variables (e.g. displayed as tooltips) - support for user-defined Isar commands within the running session + - improved support for Unicode outside original 16bit range + e.g. glyph for \<A> (thanks to jEdit 4.5.1) * Updated and extended reference manuals ("isar-ref" and "implementation"); reduced remaining material in old "ref" manual.