# HG changeset patch
# User wenzelm
# Date 1137351845 -3600
# Node ID 60ca2c74978234a87228b2c93cf159a98a0b3a40
# Parent  1b7413e31e8850bb8feba3c1d873d50914404943
tuned;

diff -r 1b7413e31e88 -r 60ca2c749782 NEWS
--- a/NEWS	Sun Jan 15 20:00:59 2006 +0100
+++ b/NEWS	Sun Jan 15 20:04:05 2006 +0100
@@ -231,7 +231,7 @@
 
 * Provers/classical: attributes dest/elim/intro take an optional
 weight argument for the rule (just as the Pure versions).  Weights are
-ignored by automated rules, but determine the search order of single
+ignored by automated tools, but determine the search order of single
 rule steps.
 
 * Syntax: input syntax now supports dummy variable binding "%_. b",