equal
deleted
inserted
replaced
26 |
26 |
27 * System: more robust "isabelle sync" tool via bundled "rsync" executables. |
27 * System: more robust "isabelle sync" tool via bundled "rsync" executables. |
28 |
28 |
29 * System: "isabelle profiling" tool produces ML heap statistics. |
29 * System: "isabelle profiling" tool produces ML heap statistics. |
30 |
30 |
31 * Support for the Dotnet platform (.NET) and Fsharp (F#). |
|
32 |
31 |
33 |
32 |
34 You may get Isabelle2023 from the following mirror sites: |
33 You may get Isabelle2023 from the following mirror sites: |
35 |
34 |
36 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |
35 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |