NEWS;
authorwenzelm
Sat Jan 02 13:22:46 2016 +0100 (2016-01-02)
changeset 6203491fcb3bc28bb
parent 62033 e1a4d52d3d53
child 62035 b3cda398a5b1
NEWS;
NEWS
     1.1 --- a/NEWS	Fri Jan 01 22:13:24 2016 +0100
     1.2 +++ b/NEWS	Sat Jan 02 13:22:46 2016 +0100
     1.3 @@ -94,13 +94,16 @@
     1.4  already running Isabelle/jEdit process. This achieves the effect of
     1.5  single-instance applications seen on common GUI desktops.
     1.6  
     1.7 -* The main Isabelle executable is managed as single-instance Desktop
     1.8 -application uniformly on all platforms: Linux, Windows, Mac OS X.
     1.9 -
    1.10  * The default look-and-feel for Linux is the traditional "Metal", which
    1.11  works better with GUI scaling for very high-resolution displays (e.g.
    1.12  4K). Moreover, it is generally more robust than "Nimbus".
    1.13  
    1.14 +* The main Isabelle executable is managed as single-instance Desktop
    1.15 +application uniformly on all platforms: Linux, Windows, Mac OS X.
    1.16 +
    1.17 +* Update to jedit-5.3.0, with improved GUI scaling and support of
    1.18 +high-resolution displays (e.g. 4K).
    1.19 +
    1.20  
    1.21  *** Document preparation ***
    1.22