tuned;
authorwenzelm
Tue Apr 02 14:12:21 2019 +0200 (5 months ago)
changeset 700312dfba895e26d
parent 70026 6ae9505d693a
child 70032 0674c24afc5e
tuned;
NEWS
     1.1 --- a/NEWS	Tue Apr 02 13:22:16 2019 +0200
     1.2 +++ b/NEWS	Tue Apr 02 14:12:21 2019 +0200
     1.3 @@ -78,9 +78,9 @@
     1.4  storage directory for "isabelle build". Option "-n" is now clearly
     1.5  separated from option "-s".
     1.6  
     1.7 -* Update to OpenJDK 11, which is the current long-term support line
     1.8 -after Java 8. It provides a very different font renderer, with improved
     1.9 -sub-pixel font rendering.
    1.10 +* OpenJDK 11 has quite different font rendering, with better glyph
    1.11 +shapes and improved sub-pixel anti-aliasing. In some situations results
    1.12 +might be *worse* than Oracle Java 8, though.
    1.13  
    1.14  
    1.15  *** Document preparation ***
    1.16 @@ -282,7 +282,7 @@
    1.17  
    1.18  *** System ***
    1.19  
    1.20 -* Update to Java 11: the current long-term support version of OpenJDK.
    1.21 +* Update to OpenJDK 11: the current long-term support version of Java.
    1.22  
    1.23  * Update to Poly/ML 5.8 allows to use the native x86_64 platform without
    1.24  the full overhead of 64-bit values everywhere. This special x86_64_32