# HG changeset patch
# User wenzelm
# Date 1586290402 -7200
# Node ID c986a422dee1852c8df40935e7514e7f914c9050
# Parent  0cb14b7455ee4c15d75ea931e808191241d33617
NEWS;

diff -r 0cb14b7455ee -r c986a422dee1 NEWS
--- a/NEWS	Tue Apr 07 21:52:03 2020 +0200
+++ b/NEWS	Tue Apr 07 22:13:22 2020 +0200
@@ -12,6 +12,9 @@
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).
 
+* The Isabelle/Scala "Progress" interface has changed slightly and
+"No_Progress" discontinued. INCOMPATIBILITY, use "new Progress" instead.
+
 
 
 New in Isabelle2020 (April 2020)