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.