# HG changeset patch
# User wenzelm
# Date 1667684726 -3600
# Node ID fbe0fedd8a613c77222fbea62d02a7f37e0b178f
# Parent  2829aae7408a698f3e9027cb0e925f7a93fbcac8
tuned NEWS;

diff -r 2829aae7408a -r fbe0fedd8a61 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)