NEWS
changeset 50184 5a16f42a9b44
parent 50183 2b3e24e1c9e7
child 50198 0c7b351a6871
     1.1 --- a/NEWS	Sat Nov 24 14:50:19 2012 +0100
     1.2 +++ b/NEWS	Sat Nov 24 15:49:43 2012 +0100
     1.3 @@ -77,6 +77,9 @@
     1.4  options, including tuning parameters for editor reactivity and color
     1.5  schemes.
     1.6  
     1.7 +* Dockable window "Symbols" provides some editing support for Isabelle
     1.8 +symbols.
     1.9 +
    1.10  * Improved editing support for control styles: subscript, superscript,
    1.11  bold, reset of style -- operating on single symbols or text
    1.12  selections.  Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.