diff -r 2b3e24e1c9e7 -r 5a16f42a9b44 NEWS
--- a/NEWS	Sat Nov 24 14:50:19 2012 +0100
+++ b/NEWS	Sat Nov 24 15:49:43 2012 +0100
@@ -77,6 +77,9 @@
 options, including tuning parameters for editor reactivity and color
 schemes.
 
+* Dockable window "Symbols" provides some editing support for Isabelle
+symbols.
+
 * Improved editing support for control styles: subscript, superscript,
 bold, reset of style -- operating on single symbols or text
 selections.  Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.