equal
deleted
inserted
replaced
26 |
26 |
27 * ML: routine support for Isabelle/Scala functions in Isabelle/ML. |
27 * ML: routine support for Isabelle/Scala functions in Isabelle/ML. |
28 |
28 |
29 * System: support for Isabelle/Scala services defined in user-space. |
29 * System: support for Isabelle/Scala services defined in user-space. |
30 |
30 |
31 * Partial support for ARM64 platform on Linux and macOS (Apple Silicon). |
31 * Support for macOS Big Sur on Intel and Apple Silicon (ARM). |
32 |
32 |
33 |
33 |
34 You may get Isabelle2021 from the following mirror sites: |
34 You may get Isabelle2021 from the following mirror sites: |
35 |
35 |
36 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |
36 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |