NEWS
changeset 50198 0c7b351a6871
parent 50184 5a16f42a9b44
child 50213 7b73c0509835
child 50219 f6b95f0bba78
equal deleted inserted replaced
50197:b385d134926d 50198:0c7b351a6871
    80 * Dockable window "Symbols" provides some editing support for Isabelle
    80 * Dockable window "Symbols" provides some editing support for Isabelle
    81 symbols.
    81 symbols.
    82 
    82 
    83 * Improved editing support for control styles: subscript, superscript,
    83 * Improved editing support for control styles: subscript, superscript,
    84 bold, reset of style -- operating on single symbols or text
    84 bold, reset of style -- operating on single symbols or text
    85 selections.  Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.
    85 selections.  Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT.
       
    86 
       
    87 * Actions isabelle.increase-font-size and isabelle.decrease-font-size
       
    88 adjust the main text area font size, and its derivatives for output,
       
    89 tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS.
    86 
    90 
    87 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
    91 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
    88 from Oracle provide better multi-platform experience.  This version is
    92 from Oracle provide better multi-platform experience.  This version is
    89 now bundled exclusively with Isabelle.
    93 now bundled exclusively with Isabelle.
    90 
    94