1.1 --- a/NEWS	Mon Nov 25 21:17:18 2013 +0100
     1.2 +++ b/NEWS	Mon Nov 25 21:36:10 2013 +0100
     1.3 @@ -12,6 +12,14 @@
     1.4  * More relaxed Sledgehammer panel: avoid repeated application of query
     1.5  after edits surrounding the command location.
     1.6  
     1.7 +* More status information about commands that are interrupted
     1.8 +accidentally (via physical event or Poly/ML runtime system signal,
     1.9 +e.g. out-of-memory).
    1.10 +
    1.11 +* Reactivated Isabelle/Scala kill command for external processes on
    1.12 +Mac OS X, which was accidentally broken in Isabelle2013-1 due to a
    1.13 +workaround for some Debian/Ubuntu Linux versions from 2013.
    1.14 +
    1.15  
    1.16  
    1.17  New in Isabelle2013-1 (November 2013)