--- a/NEWS Sun Dec 01 16:35:38 2013 +0100
+++ b/NEWS Sun Dec 01 17:09:35 2013 +0100
@@ -20,9 +20,9 @@
*** System ***
* More robust termination of external processes managed by
-Isabelle/ML: support cancellation of tasks in within the range of
-milliseconds, as required for PIDE document editing with add-on tools
-(e.g. auto Sledgehammer).
+Isabelle/ML: support cancellation of tasks within the range of
+milliseconds, as required for PIDE document editing with automatically
+tried tools (e.g. Sledgehammer).
* Reactivated Isabelle/Scala kill command for external processes on
Mac OS X, which was accidentally broken in Isabelle2013-1 due to a