# HG changeset patch
# User wenzelm
# Date 1540503187 -7200
# Node ID f714114b05713e0ef909ce87f9119631eb46df2b
# Parent  2fd73a1a09373d6a2cb17a0cf0b05f0df25c5cfb
NEWS;

diff -r 2fd73a1a0937 -r f714114b0571 NEWS
--- a/NEWS	Thu Oct 25 22:42:17 2018 +0200
+++ b/NEWS	Thu Oct 25 23:33:07 2018 +0200
@@ -16,6 +16,12 @@
 without additional spaces, eg "(*)" instead of "( * )".
 
 
+*** Isabelle/jEdit Prover IDE ***
+
+* Improved sub-pixel font rendering (especially on Linux), thanks to
+OpenJDK 11.
+
+
 *** Isar ***
 
 * More robust treatment of structural errors: begin/end blocks take
@@ -101,7 +107,10 @@
 * Support for Glasgow Haskell Compiler via command-line tools "isabelle
 ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
 Existing settings variable ISABELLE_GHC is maintained dynamically
-according to the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
+according to the state of ISABELLE_STACK_ROOT and
+ISABELLE_STACK_RESOLVER.
+
+* Update to Java 11: the latest long-term support version of OpenJDK.