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