NEWS
changeset 66803 dd8922885a68
parent 66801 f3fda9777f9a
child 66804 3f9bb52082c4
     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,9 @@
     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 +* Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  
    1.11  *** System ***
    1.12