# HG changeset patch
# User wenzelm
# Date 1385068391 -3600
# Node ID 50169ef2cca300893622e660fb5a23399b9af9b1
# Parent  bbd2fa3538097eb8564974f2a254920b31ecb983
NEWS;

diff -r bbd2fa353809 -r 50169ef2cca3 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)