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)