--- a/NEWS Wed Feb 17 21:08:18 2016 +0100 +++ b/NEWS Wed Feb 17 23:06:24 2016 +0100 @@ -33,6 +33,12 @@ INCOMPATIBILITY. +*** System *** + +* SML/NJ is no longer supported. + + + New in Isabelle2016 (February 2016) -----------------------------------