NEWS
changeset 69755 2fc85ce1f557
parent 69747 2755c387f1e6
child 69764 3ceff650adb9
     1.1 --- a/NEWS	Tue Jan 29 22:47:45 2019 +0100
     1.2 +++ b/NEWS	Wed Jan 30 13:25:33 2019 +0100
     1.3 @@ -261,6 +261,8 @@
     1.4  
     1.5  * Update to Java 11: the latest long-term support version of OpenJDK.
     1.6  
     1.7 +* System option "checkpoint" has been discontinued: obsolete thanks to
     1.8 +improved memory management in Poly/ML.
     1.9  
    1.10  
    1.11  New in Isabelle2018 (August 2018)