# HG changeset patch
# User wenzelm
# Date 1586350135 -7200
# Node ID ada8812f5a9ede7ce0d9248149f1a4ef8a8acb0f
# Parent  c986a422dee1852c8df40935e7514e7f914c9050# Parent  d8e60a0ffa02e0370bf8bc8b6c6937c71c009d8f
merged

diff -r d8e60a0ffa02 -r ada8812f5a9e NEWS
--- a/NEWS	Wed Apr 08 14:14:50 2020 +0200
+++ b/NEWS	Wed Apr 08 14:48:55 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)