--- a/NEWS Sun Jun 14 23:22:31 2015 +0200 +++ b/NEWS Mon Jun 15 00:23:18 2015 +0200 @@ -122,6 +122,8 @@ less_eq_multiset_def INCOMPATIBILITY + + New in Isabelle2015 (May 2015) ------------------------------