NEWS
changeset 48029 d317a71f24d5
parent 48013 d64fa2ca54b8
child 48043 9fc17f9ccd6c
     1.1 --- a/NEWS	Tue Mar 27 17:58:53 2012 +0200
     1.2 +++ b/NEWS	Wed Mar 28 00:18:11 2012 +0200
     1.3 @@ -11,6 +11,8 @@
     1.4    - markup for bound variables
     1.5    - markup for types of term variables (e.g. displayed as tooltips)
     1.6    - support for user-defined Isar commands within the running session
     1.7 +  - improved support for Unicode outside original 16bit range
     1.8 +    e.g. glyph for \<A> (thanks to jEdit 4.5.1)
     1.9  
    1.10  * Updated and extended reference manuals ("isar-ref" and
    1.11  "implementation"); reduced remaining material in old "ref" manual.