# HG changeset patch
# User wenzelm
# Date 1452694631 -3600
# Node ID f25408289842f2c09cc0a57524004dc25afbfab7
# Parent  dca35981c8fb3f155802cd6ae95de13ec537db0a
tuned;

diff -r dca35981c8fb -r f25408289842 NEWS
--- a/NEWS	Wed Jan 13 15:09:34 2016 +0100
+++ b/NEWS	Wed Jan 13 15:17:11 2016 +0100
@@ -50,9 +50,6 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
-* Update to jedit-5.3.0, with improved GUI scaling and support of
-high-resolution displays (e.g. 4K).
-
 * IDE support for the source-level debugger of Poly/ML, to work with
 Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
 and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
@@ -114,6 +111,9 @@
 works better with GUI scaling for very high-resolution displays (e.g.
 4K). Moreover, it is generally more robust than "Nimbus".
 
+* Update to jedit-5.3.0, with improved GUI scaling and support of
+high-resolution displays (e.g. 4K).
+
 * The main Isabelle executable is managed as single-instance Desktop
 application uniformly on all platforms: Linux, Windows, Mac OS X.