NEWS
changeset 57637 eeb2d50ec71f
parent 57594 8c095aef6769
child 57650 17d7f5d96328
--- a/NEWS	Thu Jul 24 00:24:00 2014 +0200
+++ b/NEWS	Thu Jul 24 10:22:34 2014 +0200
@@ -596,10 +596,9 @@
 
 INCOMPATIBILITY.
 
-* Removed collections add_ac and mult_ac.  Prefer ac_simps instead,
-or specify rules (add|mult).(assoc|commute|left_commute) individually.
-
-INCOMPATIBILITY.
+* Fact collections add_ac and mult_ac are considered old-fashined.
+Prefer ac_simps instead, or specify rules
+(add|mult).(assoc|commute|left_commute) individually.
 
 * Elimination of fact duplicates:
     equals_zero_I ~> minus_unique