# HG changeset patch
# User wenzelm
# Date 1137351659 -3600
# Node ID 1b7413e31e8850bb8feba3c1d873d50914404943
# Parent  83f50ac6ddcb1e9e93df1e6187667880d0eab2e1
tuned;

diff -r 83f50ac6ddcb -r 1b7413e31e88 NEWS
--- a/NEWS	Sun Jan 15 19:58:57 2006 +0100
+++ b/NEWS	Sun Jan 15 20:00:59 2006 +0100
@@ -230,8 +230,8 @@
 least one premise.
 
 * 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 determines the search order of single
+weight argument for the rule (just as the Pure versions).  Weights are
+ignored by automated rules, but determine the search order of single
 rule steps.
 
 * Syntax: input syntax now supports dummy variable binding "%_. b",