NEWS;

--- a/NEWS	Thu Nov 21 21:55:29 2013 +0100
+++ b/NEWS	Thu Nov 21 22:13:11 2013 +0100
@@ -9,6 +9,9 @@
 * More robust editing of running commands with internal forks,
 e.g. non-terminating 'by' steps.
 
+* More relaxed Sledgehammer panel: avoid repeated application of query
+after edits surrounding the command location.
+
 
 
 New in Isabelle2013-1 (November 2013)