equal
deleted
inserted
replaced
75 *** System *** |
75 *** System *** |
76 |
76 |
77 * Isabelle/Scala provides generic support for XZ and Zstd compression, |
77 * Isabelle/Scala provides generic support for XZ and Zstd compression, |
78 via Compress.Options and Compress.Cache. Bytes.uncompress automatically |
78 via Compress.Options and Compress.Cache. Bytes.uncompress automatically |
79 detects the compression scheme. |
79 detects the compression scheme. |
|
80 |
|
81 * The command-line tools "isabelle dotnet_setup" and "isabelle dotnet" |
|
82 support the Dotnet platform (.NET), which includes Fsharp (F#). This |
|
83 works uniformly on all Isabelle OS platforms, even as cross-platform |
|
84 installation: "isabelle dotnet_setup -p linux_arm,linux,macos,windows". |
80 |
85 |
81 |
86 |
82 |
87 |
83 New in Isabelle2022 (October 2022) |
88 New in Isabelle2022 (October 2022) |
84 ---------------------------------- |
89 ---------------------------------- |