diff -r badbae70c51a -r cc6fd1695294 NEWS
--- 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)