# HG changeset patch
# User wenzelm
# Date 1711557568 -3600
# Node ID 30eb547bda4aadcd6507950fdff5755018a43966
# Parent  0732ee5c8ee1bad510aae63ddabc5033e03dbd88
tuned NEWS;

diff -r 0732ee5c8ee1 -r 30eb547bda4a NEWS
--- 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.