# HG changeset patch
# User wenzelm
# Date 1711483786 -3600
# Node ID ce9b649ee2dde3497229200061f2e4990cfa2018
# Parent  f1686f71dffc1b82fb1c4d56a1641d0274a02051
NEWS for "isabelle go_setup";

diff -r f1686f71dffc -r ce9b649ee2dd NEWS
--- 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.