| changeset 54641 | 50169ef2cca3 |
| parent 54639 | 5adc68deb322 |
| child 54648 | f38b113697a2 |
--- 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)