NEWS
changeset 66804 3f9bb52082c4
parent 66803 dd8922885a68
child 66805 274b4edca859
     1.1 --- a/NEWS	Sun Oct 08 22:28:20 2017 +0200
     1.2 +++ b/NEWS	Sun Oct 08 22:28:20 2017 +0200
     1.3 @@ -47,6 +47,10 @@
     1.4  * Fact mod_mult_self4 (on nat) renamed to mod_mult_self3', to avoid clash
     1.5  with fact mod_mult_self4 (on more generic semirings). INCOMPATIBILITY.
     1.6  
     1.7 +* Facts sum.commute(_restrict) and prod.commute(_restrict) renamed to
     1.8 +sum.swap(_restrict) and prod.swap(_restrict), to avoid name clashes
     1.9 +on interpretation of abstract locales. INCOMPATIBILITY.
    1.10 +
    1.11  * Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
    1.12  INCOMPATIBILITY.
    1.13