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