tuned;
authorwenzelm
Tue, 02 Apr 2019 14:12:21 +0200
changeset 70213 2dfba895e26d
parent 70208 6ae9505d693a
child 70214 0674c24afc5e
tuned;
NEWS
--- a/NEWS	Tue Apr 02 13:22:16 2019 +0200
+++ b/NEWS	Tue Apr 02 14:12:21 2019 +0200
@@ -78,9 +78,9 @@
 storage directory for "isabelle build". Option "-n" is now clearly
 separated from option "-s".
 
-* Update to OpenJDK 11, which is the current long-term support line
-after Java 8. It provides a very different font renderer, with improved
-sub-pixel font rendering.
+* OpenJDK 11 has quite different font rendering, with better glyph
+shapes and improved sub-pixel anti-aliasing. In some situations results
+might be *worse* than Oracle Java 8, though.
 
 
 *** Document preparation ***
@@ -282,7 +282,7 @@
 
 *** System ***
 
-* Update to Java 11: the current long-term support version of OpenJDK.
+* Update to OpenJDK 11: the current long-term support version of Java.
 
 * Update to Poly/ML 5.8 allows to use the native x86_64 platform without
 the full overhead of 64-bit values everywhere. This special x86_64_32