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