NEWS
changeset 57637 eeb2d50ec71f
parent 57591 8c095aef6769
child 57650 17d7f5d96328
     1.1 --- a/NEWS	Thu Jul 24 00:24:00 2014 +0200
     1.2 +++ b/NEWS	Thu Jul 24 10:22:34 2014 +0200
     1.3 @@ -596,10 +596,9 @@
     1.4  
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 -* Removed collections add_ac and mult_ac.  Prefer ac_simps instead,
     1.8 -or specify rules (add|mult).(assoc|commute|left_commute) individually.
     1.9 -
    1.10 -INCOMPATIBILITY.
    1.11 +* Fact collections add_ac and mult_ac are considered old-fashined.
    1.12 +Prefer ac_simps instead, or specify rules
    1.13 +(add|mult).(assoc|commute|left_commute) individually.
    1.14  
    1.15  * Elimination of fact duplicates:
    1.16      equals_zero_I ~> minus_unique