tuned NEWS;

--- a/NEWS	Sat Nov 05 22:38:56 2022 +0100
+++ b/NEWS	Sat Nov 05 22:45:26 2022 +0100
@@ -83,6 +83,13 @@
 works uniformly on all Isabelle OS platforms, even as cross-platform
 installation: "isabelle dotnet_setup -p linux_arm,linux,macos,windows".
 
+Example:
+
+  isabelle dotnet_setup
+  isabelle dotnet fsi
+  > 1 + 1;;
+  > #quit;;
+
 
 
 New in Isabelle2022 (October 2022)