equal
deleted
inserted
replaced
9 |
9 |
10 *** System *** |
10 *** System *** |
11 |
11 |
12 * The command-line tool "isabelle console" now supports interrupts |
12 * The command-line tool "isabelle console" now supports interrupts |
13 properly (on Linux and macOS). |
13 properly (on Linux and macOS). |
|
14 |
|
15 * The Isabelle/Scala "Progress" interface has changed slightly and |
|
16 "No_Progress" discontinued. INCOMPATIBILITY, use "new Progress" instead. |
14 |
17 |
15 |
18 |
16 |
19 |
17 New in Isabelle2020 (April 2020) |
20 New in Isabelle2020 (April 2020) |
18 -------------------------------- |
21 -------------------------------- |