# HG changeset patch
# User wenzelm
# Date 1425764291 -3600
# Node ID d1148f0baef5062ab2f80e248ccf608b79757c6f
# Parent  c6f413b660cfbc105d9ec99c81fb3da72a52ff5e
NEWS;

diff -r c6f413b660cf -r d1148f0baef5 NEWS
--- a/NEWS	Sat Mar 07 21:32:31 2015 +0100
+++ b/NEWS	Sat Mar 07 22:38:11 2015 +0100
@@ -6,6 +6,11 @@
 
 *** General ***
 
+* Generated schematic variables in standard format of exported facts are
+incremented to avoid material in the proof context. Rare
+INCOMPATIBILITY, explicit instantiation sometimes needs to refer to
+different index.
+
 * Commands 'method_setup' and 'attribute_setup' now work within a local
 theory context.