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