# HG changeset patch
# User wenzelm
# Date 1586200696 -7200
# Node ID 9e2f52d0aec39294175d564d4013956a6b5de1bc
# Parent  9eb584b1c86ac91b7634d28f00b024611f6b7a55
NEWS;

diff -r 9eb584b1c86a -r 9e2f52d0aec3 NEWS
--- a/NEWS	Mon Apr 06 21:12:11 2020 +0200
+++ b/NEWS	Mon Apr 06 21:18:16 2020 +0200
@@ -7,6 +7,11 @@
 New in this Isabelle version
 ----------------------------
 
+*** System ***
+
+* The command-line tool "isabelle console" now supports interrupts
+properly (on Linux and macOS).
+
 
 
 New in Isabelle2020 (April 2020)