NEWS

--- a/NEWS	Mon Sep 21 16:11:36 2009 +0200
+++ b/NEWS	Tue Sep 22 15:36:55 2009 +0200
@@ -102,6 +102,10 @@
 
   INCOMPATIBILITY.
 
+* Rules inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no
+simp rules by default any longer.  The same applies to
+min_max.inf_absorb1 etc.!  INCOMPATIBILITY.
+
 * Power operations on relations and functions are now one dedicate
 constant "compow" with infix syntax "^^".  Power operations on
 multiplicative monoids retains syntax "^" and is now defined generic