tuned;
authorwenzelm
Wed Jan 13 15:17:11 2016 +0100 (2016-01-13 ago)
changeset 62163f25408289842
parent 62162 dca35981c8fb
child 62165 b10046b14dd8
tuned;
NEWS
     1.1 --- a/NEWS	Wed Jan 13 15:09:34 2016 +0100
     1.2 +++ b/NEWS	Wed Jan 13 15:17:11 2016 +0100
     1.3 @@ -50,9 +50,6 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 -* Update to jedit-5.3.0, with improved GUI scaling and support of
     1.8 -high-resolution displays (e.g. 4K).
     1.9 -
    1.10  * IDE support for the source-level debugger of Poly/ML, to work with
    1.11  Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
    1.12  and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
    1.13 @@ -114,6 +111,9 @@
    1.14  works better with GUI scaling for very high-resolution displays (e.g.
    1.15  4K). Moreover, it is generally more robust than "Nimbus".
    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  * The main Isabelle executable is managed as single-instance Desktop
    1.21  application uniformly on all platforms: Linux, Windows, Mac OS X.
    1.22