Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Wed, 08 Apr 2020 14:48:55 +0200
changeset 71732 ada8812f5a9e
parent 71728 c986a422dee1 (diff)
parent 71731 d8e60a0ffa02 (current diff)
child 71737 7ff701556063
merged
--- 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)
isabelle