--- a/NEWS Mon May 04 10:22:13 2015 +0200
+++ b/NEWS Mon May 04 16:01:36 2015 +0200
@@ -6,6 +6,9 @@
New in this Isabelle version
----------------------------
+*** HOL ***
+
+* Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.
New in Isabelle2015 (May 2015)