# HG changeset patch
# User wenzelm
# Date 1127474447 -7200
# Node ID dac8dd2272cd404815460b1f01a44cb9daa09f86
# Parent  cd555d5a32543b7a72b676643a9118ce3b640277
tuned;

diff -r cd555d5a3254 -r dac8dd2272cd NEWS
--- a/NEWS	Fri Sep 23 10:26:07 2005 +0200
+++ b/NEWS	Fri Sep 23 13:20:47 2005 +0200
@@ -225,7 +225,7 @@
 or ==>.  More generally, erule now works even if the major premise of
 the elimination rule contains !! or ==>.
 
-* Method "rules" has been renamed to "iprover"
+* Method 'rules' has been renamed to 'iprover'. INCOMPATIBILITY.
 
 * Reorganized bootstrapping of the Pure theories; CPure is now derived
 from Pure, which contains all common declarations already.  Both