# HG changeset patch
# User wenzelm
# Date 1406190154 -7200
# Node ID eeb2d50ec71fe59c1078896dd1c8a99a34bd7f66
# Parent  3ab503b04bdbc0858e78af6247ccd9ecba9a1729
updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);

diff -r 3ab503b04bdb -r eeb2d50ec71f NEWS
--- 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