# HG changeset patch
# User wenzelm
# Date 1427667217 -7200
# Node ID c3d126c7944f94e7176a95200ebbd328a993f67a
# Parent  18c21d5c913886a279ce150da847c87abbc39d74
clarified NEWS (cf. 97872c658a44);

diff -r 18c21d5c9138 -r c3d126c7944f NEWS
--- a/NEWS	Sun Mar 29 23:08:03 2015 +0200
+++ b/NEWS	Mon Mar 30 00:13:37 2015 +0200
@@ -74,11 +74,6 @@
 declare rule_insts_schematic = true temporarily and update to use local
 variable declarations or dummy patterns instead.
 
-* Configuration option "rule_insts_schematic" determines whether proof
-methods like "rule_tac" may refer to undeclared schematic variables
-implicitly, instead of using proper 'for' declarations.  This historic
-behaviour is still the default for some time.
-
 * Command "class_deps" takes optional sort arguments constraining
 the search space.