NEWS;

--- a/NEWS	Sat Aug 17 12:21:25 2013 +0200
+++ b/NEWS	Sat Aug 17 12:25:26 2013 +0200
@@ -79,6 +79,10 @@
 * Dockable window "Documentation" provides access to Isabelle
 documentation.
 
+* Dockable window "Sledgehammer" manages asynchronous / parallel
+sledgehammer runs over existing document sources, independently of
+normal editing and checking process.
+
 * Dockable window "Timing" provides an overview of relevant command
 timing information.