1.1 --- a/NEWS Sun Nov 25 15:17:01 2012 +0100
1.2 +++ b/NEWS Sun Nov 25 17:15:21 2012 +0100
1.3 @@ -82,7 +82,11 @@
1.4
1.5 * Improved editing support for control styles: subscript, superscript,
1.6 bold, reset of style -- operating on single symbols or text
1.7 -selections. Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.
1.8 +selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT.
1.9 +
1.10 +* Actions isabelle.increase-font-size and isabelle.decrease-font-size
1.11 +adjust the main text area font size, and its derivatives for output,
1.12 +tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS.
1.13
1.14 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
1.15 from Oracle provide better multi-platform experience. This version is