NEWS
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.