author | wenzelm |
Wed, 08 Apr 2020 14:48:55 +0200 | |
changeset 71732 | ada8812f5a9e |
parent 71728 | c986a422dee1 (diff) |
parent 71731 | d8e60a0ffa02 (current diff) |
child 71737 | 7ff701556063 |
--- 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)