# HG changeset patch
# User wenzelm
# Date 1385828760 -3600
# Node ID e38592fa283098542c951415c1b9dbfd56e39332
# Parent  07ee041537a52cd064900c3dae93a85b750db8f0
NEWS;

diff -r 07ee041537a5 -r e38592fa2830 NEWS
--- a/NEWS	Sat Nov 30 16:07:00 2013 +0100
+++ b/NEWS	Sat Nov 30 17:26:00 2013 +0100
@@ -16,6 +16,14 @@
 accidentally (via physical event or Poly/ML runtime system signal,
 e.g. out-of-memory).
 
+
+*** 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).
+
 * Reactivated Isabelle/Scala kill command for external processes on
 Mac OS X, which was accidentally broken in Isabelle2013-1 due to a
 workaround for some Debian/Ubuntu Linux versions from 2013.