| changeset 67740 | b6ce18784872 |
| parent 67718 | 17874d43d3b3 |
| child 67741 | d5a7f2c54655 |
--- a/NEWS Thu Mar 01 20:44:38 2018 +0100 +++ b/NEWS Fri Mar 02 14:19:25 2018 +0100 @@ -175,6 +175,11 @@ Rare INCOMPATIBILITY, need to refer to explicitly named facts instead (e.g. use 'find_theorems' or 'try' to figure this out). +* Rewrites clauses (keyword 'rewrites') were moved into the locale +expression syntax, where they are part of locale instances. Keyword +'for' now needs to occur after, not before 'rewrites'. +Minor INCOMPATIBILITY. + *** Pure ***