--- a/NEWS Wed Mar 27 17:11:46 2024 +0100
+++ b/NEWS Wed Mar 27 17:39:28 2024 +0100
@@ -256,14 +256,16 @@
* 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:
+uniformly on all Isabelle OS platforms, separately or simultaneously.
+
+For example:
isabelle go_setup
isabelle go env
isabelle go
+ isabelle go_setup -p all
+
* Update to GHC stack 2.15.1 with support for all platforms, including
ARM Linux and Apple Silicon.