NEWS
changeset 69190 f714114b0571
parent 69184 431414500576
child 69208 99bc66bc52a4
child 69216 7062639cfdaa
     1.1 --- a/NEWS	Thu Oct 25 22:42:17 2018 +0200
     1.2 +++ b/NEWS	Thu Oct 25 23:33:07 2018 +0200
     1.3 @@ -16,6 +16,12 @@
     1.4  without additional spaces, eg "(*)" instead of "( * )".
     1.5  
     1.6  
     1.7 +*** Isabelle/jEdit Prover IDE ***
     1.8 +
     1.9 +* Improved sub-pixel font rendering (especially on Linux), thanks to
    1.10 +OpenJDK 11.
    1.11 +
    1.12 +
    1.13  *** Isar ***
    1.14  
    1.15  * More robust treatment of structural errors: begin/end blocks take
    1.16 @@ -101,7 +107,10 @@
    1.17  * Support for Glasgow Haskell Compiler via command-line tools "isabelle
    1.18  ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
    1.19  Existing settings variable ISABELLE_GHC is maintained dynamically
    1.20 -according to the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
    1.21 +according to the state of ISABELLE_STACK_ROOT and
    1.22 +ISABELLE_STACK_RESOLVER.
    1.23 +
    1.24 +* Update to Java 11: the latest long-term support version of OpenJDK.
    1.25  
    1.26  
    1.27