author | wenzelm |
Tue, 07 Apr 2020 22:13:22 +0200 | |
changeset 71728 | c986a422dee1 |
parent 71727 | 0cb14b7455ee |
child 71732 | ada8812f5a9e |
child 71733 | 6c470c918aad |
--- 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)