| changeset 51703 | f2e92fc0c8aa |
| parent 51689 | 43a3465805dd |
| child 51717 | 9e7d1c139569 |
--- a/NEWS Fri Apr 12 17:02:55 2013 +0200 +++ b/NEWS Fri Apr 12 17:21:51 2013 +0200 @@ -129,6 +129,11 @@ * Antiquotation @{theory_context A} is similar to @{theory A}, but presents the result as initial Proof.context. +* Modifiers for classical wrappers (e.g. addWrapper, delWrapper) +operate on Proof.context instead of claset, for uniformity with addIs, +addEs, addDs etc. Note that claset_of and put_claset allow to manage +clasets separately from the context. + *** System ***