# HG changeset patch
# User wenzelm
# Date 1385411770 -3600
# Node ID f38b113697a20a182f28904c2ab25bde9a90b61e
# Parent  7a8512d6206dfc0a52df53500ca2559a6d5d40a0
NEWS;

diff -r 7a8512d6206d -r f38b113697a2 NEWS
--- a/NEWS	Mon Nov 25 21:17:18 2013 +0100
+++ b/NEWS	Mon Nov 25 21:36:10 2013 +0100
@@ -12,6 +12,14 @@
 * More relaxed Sledgehammer panel: avoid repeated application of query
 after edits surrounding the command location.
 
+* More status information about commands that are interrupted
+accidentally (via physical event or Poly/ML runtime system signal,
+e.g. out-of-memory).
+
+* 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.
+
 
 
 New in Isabelle2013-1 (November 2013)