equal
deleted
inserted
replaced
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 |
14 |
15 * The Isabelle/Scala "Progress" interface has changed slightly and |
15 * The Isabelle/Scala "Progress" interface changed slightly and |
16 "No_Progress" discontinued. INCOMPATIBILITY, use "new Progress" instead. |
16 "No_Progress" has been discontinued. INCOMPATIBILITY, use "new Progress" |
|
17 instead. |
|
18 |
|
19 * General support for Isabelle/Scala system services, configured via the |
|
20 shell function "isabelle_scala_service" in etc/settings (e.g. of an |
|
21 Isabelle component); e.g. see isabelle.Bibtex.File_Format. This |
|
22 supersedes former "isabelle_file_format": minor INCOMPATIBILITY. |
17 |
23 |
18 |
24 |
19 |
25 |
20 New in Isabelle2020 (April 2020) |
26 New in Isabelle2020 (April 2020) |
21 -------------------------------- |
27 -------------------------------- |