--- a/NEWS Sat Nov 05 19:13:48 2022 +0100
+++ b/NEWS Sat Nov 05 22:35:20 2022 +0100
@@ -78,6 +78,11 @@
via Compress.Options and Compress.Cache. Bytes.uncompress automatically
detects the compression scheme.
+* The command-line tools "isabelle dotnet_setup" and "isabelle dotnet"
+support the Dotnet platform (.NET), which includes Fsharp (F#). This
+works uniformly on all Isabelle OS platforms, even as cross-platform
+installation: "isabelle dotnet_setup -p linux_arm,linux,macos,windows".
+
New in Isabelle2022 (October 2022)