equal
deleted
inserted
replaced
36 |
36 |
37 * System: support for Isabelle/Scala modules defined in user-space. |
37 * System: support for Isabelle/Scala modules defined in user-space. |
38 |
38 |
39 * System: improved document preparation using Isabelle/Scala. |
39 * System: improved document preparation using Isabelle/Scala. |
40 |
40 |
41 * System: update to current OpenJDK 17 (LTS) and Poly/ML 5.9 (with preliminary |
41 * System: update to current Java 17 LTS. |
42 support for arm64). |
42 |
|
43 * System: update to Poly/ML 5.9 with improved support for ARM64 on Linux. |
43 |
44 |
44 |
45 |
45 You may get Isabelle2021-1 from the following mirror sites: |
46 You may get Isabelle2021-1 from the following mirror sites: |
46 |
47 |
47 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |
48 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |