equal
deleted
inserted
replaced
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** System *** |
10 *** System *** |
11 |
11 |
12 * Isabelle/Scala and derived Scala tools now use the syntax of Scala 3.3 |
12 * Isabelle/Scala and derived Scala tools now use the syntax of Scala |
13 (the "-old-syntax" variant). Minor INCOMPATIBILITY. |
13 3.3, instead of 3.1. This is the "-old-syntax" variant (Java-like) as |
|
14 before, not "-new-syntax" (Python-like). Minor INCOMPATIBILITY. |
14 |
15 |
15 |
16 |
16 |
17 |
17 New in Isabelle2023 (September 2023) |
18 New in Isabelle2023 (September 2023) |
18 ------------------------------------ |
19 ------------------------------------ |