| changeset 52463 | c45a6939217f |
| parent 52445 | 18a720984855 |
| child 52470 | dedd7952a62c |
--- a/NEWS Thu Jun 27 10:14:17 2013 +0200 +++ b/NEWS Thu Jun 27 10:35:37 2013 +0200 @@ -68,6 +68,10 @@ * Discontinued empty name bindings in 'axiomatization'. INCOMPATIBILITY. +* SELECT_GOAL now retains the syntactic context of the overall goal +state (schematic variables etc.). Potential INCOMPATIBILITY in rare +situations. + *** HOL ***