# HG changeset patch
# User wenzelm
# Date 1433503572 -7200
# Node ID 9ec1d3d2068ebd27a44ae161dc640131facaa40e
# Parent  f393a3fe884ca926783df7f9133ba3e4349c773a
tuned;

diff -r f393a3fe884c -r 9ec1d3d2068e NEWS
--- a/NEWS	Fri Jun 05 11:11:26 2015 +0200
+++ b/NEWS	Fri Jun 05 13:26:12 2015 +0200
@@ -12,9 +12,6 @@
 * Configuration option rule_insts_schematic has been discontinued
 (intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
 
-
-*** Pure ***
-
 * Abbreviations in type classes now carry proper sort constraint.
 Rare INCOMPATIBILITY in situations where the previous misbehaviour
 has been exploited previously.