# HG changeset patch
# User wenzelm
# Date 1248367450 -7200
# Node ID 2f65c45c2e7e5f34bed10627658091a4d1a16aac
# Parent  4ed2865f3a56257790060a613b89ae1e34d94947
Proper context for simpset_of, claset_of, clasimpset_of.

diff -r 4ed2865f3a56 -r 2f65c45c2e7e NEWS
--- a/NEWS	Thu Jul 23 18:44:09 2009 +0200
+++ b/NEWS	Thu Jul 23 18:44:10 2009 +0200
@@ -128,6 +128,10 @@
 cominators for "args".  INCOMPATIBILITY, need to use simplified
 Attrib/Method.setup introduced in Isabelle2009.
 
+* Proper context for simpset_of, claset_of, clasimpset_of.  May fall
+back on global_simpset_of, global_claset_of, global_clasimpset_of as
+last resort.  INCOMPATIBILITY.
+
 * Display.pretty_thm now requires a proper context (cf. former
 ProofContext.pretty_thm).  May fall back on Display.pretty_thm_global
 or even Display.pretty_thm_without_context as last resort.