NEWS
changeset 67051 e7e54a0b9197
parent 67043 848672fcaee5
child 67069 f11486d31586
     1.1 --- a/NEWS	Sat Nov 11 18:33:35 2017 +0000
     1.2 +++ b/NEWS	Sat Nov 11 18:41:08 2017 +0000
     1.3 @@ -89,7 +89,10 @@
     1.4  * Class linordered_semiring_1 covers zero_less_one also, ruling out
     1.5  pathologic instances. Minor INCOMPATIBILITY.
     1.6  
     1.7 -* Removed nat-int transfer machinery.  Rare INCOMPATIBILITY.
     1.8 +* Removed nat-int transfer machinery. Rare INCOMPATIBILITY.
     1.9 +
    1.10 +* Predicate coprime is now a real definition, not a mere
    1.11 +abbreviation. INCOMPATIBILITY.
    1.12  
    1.13  
    1.14  *** System ***