equal
deleted
inserted
replaced
22 |
22 |
23 * Scala and ML: support for Zstd compression. |
23 * Scala and ML: support for Zstd compression. |
24 |
24 |
25 * System: more robust "isabelle sync" tool via bundled "rsync" executables. |
25 * System: more robust "isabelle sync" tool via bundled "rsync" executables. |
26 |
26 |
|
27 * System: "isabelle profiling" tool produces ML heap statistics. |
|
28 |
27 * Support for the Dotnet platform (.NET) and Fsharp (F#). |
29 * Support for the Dotnet platform (.NET) and Fsharp (F#). |
28 |
30 |
29 |
31 |
30 You may get Isabelle2023 from the following mirror sites: |
32 You may get Isabelle2023 from the following mirror sites: |
31 |
33 |