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 command-line tool "isabelle sessions" explores the structure of |
|
16 Isabelle sessions and prints result names in topological order (on |
|
17 stdout). |
14 |
18 |
15 * The Isabelle/Scala "Progress" interface changed slightly and |
19 * The Isabelle/Scala "Progress" interface changed slightly and |
16 "No_Progress" has been discontinued. INCOMPATIBILITY, use "new Progress" |
20 "No_Progress" has been discontinued. INCOMPATIBILITY, use "new Progress" |
17 instead. |
21 instead. |
18 |
22 |