NEWS;
authorwenzelm
Sat Nov 30 17:26:00 2013 +0100 (2013-11-30)
changeset 54653e38592fa2830
parent 54652 07ee041537a5
child 54654 6a35bc1ee210
NEWS;
NEWS
     1.1 --- a/NEWS	Sat Nov 30 16:07:00 2013 +0100
     1.2 +++ b/NEWS	Sat Nov 30 17:26:00 2013 +0100
     1.3 @@ -16,6 +16,14 @@
     1.4  accidentally (via physical event or Poly/ML runtime system signal,
     1.5  e.g. out-of-memory).
     1.6  
     1.7 +
     1.8 +*** System ***
     1.9 +
    1.10 +* More robust termination of external processes managed by
    1.11 +Isabelle/ML: support cancellation of tasks in within the range of
    1.12 +milliseconds, as required for PIDE document editing with add-on tools
    1.13 +(e.g. auto Sledgehammer).
    1.14 +
    1.15  * Reactivated Isabelle/Scala kill command for external processes on
    1.16  Mac OS X, which was accidentally broken in Isabelle2013-1 due to a
    1.17  workaround for some Debian/Ubuntu Linux versions from 2013.