NEWS
changeset 62034 91fcb3bc28bb
parent 62031 8b50da907602
child 62060 b75764fc4c35
--- a/NEWS	Fri Jan 01 22:13:24 2016 +0100
+++ b/NEWS	Sat Jan 02 13:22:46 2016 +0100
@@ -94,13 +94,16 @@
 already running Isabelle/jEdit process. This achieves the effect of
 single-instance applications seen on common GUI desktops.
 
-* The main Isabelle executable is managed as single-instance Desktop
-application uniformly on all platforms: Linux, Windows, Mac OS X.
-
 * The default look-and-feel for Linux is the traditional "Metal", which
 works better with GUI scaling for very high-resolution displays (e.g.
 4K). Moreover, it is generally more robust than "Nimbus".
 
+* The main Isabelle executable is managed as single-instance Desktop
+application uniformly on all platforms: Linux, Windows, Mac OS X.
+
+* Update to jedit-5.3.0, with improved GUI scaling and support of
+high-resolution displays (e.g. 4K).
+
 
 *** Document preparation ***