NEWS for "isabelle go_setup";

--- a/NEWS	Tue Mar 26 21:04:43 2024 +0100
+++ b/NEWS	Tue Mar 26 21:09:46 2024 +0100
@@ -247,6 +247,16 @@
 default for ISABELLE_MLTON_OPTIONS should work most of the time, but may
 have to be overridden (e.g. in $ISABELLE_HOME_USER/etc/settings).
 
+* The command-line tools "isabelle go_setup" and "isabelle go" /
+"isabelle gofmt" support the Go development environment. This works
+uniformly on all Isabelle OS platforms.
+
+Example:
+
+  isabelle go_setup
+  isabelle go env
+  isabelle go
+
 * Update to GHC stack 2.15.1 with support for all platforms, including
 ARM Linux and Apple Silicon.