# HG changeset patch
# User wenzelm
# Date 1385914175 -3600
# Node ID 9dd9d0f023bee2323a84b89d99370a31fbd04592
# Parent  7eefa994d9628ae9683cc750449717b85a1fd677
tuned;

diff -r 7eefa994d962 -r 9dd9d0f023be NEWS
--- 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