# HG changeset patch
# User haftmann
# Date 1404551174 -7200
# Node ID adfb932486df83edccbb9c52dee9113daeac9d73
# Parent  bdc2c6b40bf2407400052536d89f533df9100709
NEWS

diff -r bdc2c6b40bf2 -r adfb932486df NEWS
--- a/NEWS	Sat Jul 05 11:01:53 2014 +0200
+++ b/NEWS	Sat Jul 05 11:06:14 2014 +0200
@@ -237,6 +237,13 @@
     eq_assoc ~> iff_assoc
     eq_left_commute ~> iff_left_commute
 
+INCOMPATIBILITY.
+
+* Removed collections add_ac and mult_ac.  Prefer ac_simps instead,
+or specify rules (add|mult).(assoc|commute|left_commute) individually.
+
+INCOMPATIBILITY.
+
 * Qualified String.implode and String.explode.  INCOMPATIBILITY.
 
 * Simplifier: Enhanced solver of preconditions of rewrite rules can