NEWS

--- a/NEWS	Mon Jun 01 13:52:35 2015 +0200
+++ b/NEWS	Mon Jun 01 15:06:09 2015 +0200
@@ -3,9 +3,16 @@
 
 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
 
+
 New in this Isabelle version
 ----------------------------
 
+*** Pure ***
+
+* Configuration option rule_insts_schematic has been discontinued
+(intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
+
+
 *** HOL ***
 
 * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.