# 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.