src/Pure/Tools/go_setup.scala
Wed, 07 May 2025 22:06:49 +0200 wenzelm clarified settings: these are setup defaults, not necessarily the installed version;
Tue, 06 May 2025 16:52:39 +0200 wenzelm clarified signature;
Wed, 27 Mar 2024 17:11:46 +0100 wenzelm support for "all" platforms;
Wed, 27 Mar 2024 17:04:37 +0100 wenzelm clarified signature;
Wed, 27 Mar 2024 13:23:15 +0100 wenzelm more Setup_Tool services;
Tue, 26 Mar 2024 20:39:06 +0100 wenzelm dynamic setup of Go component, similar to Dotnet;
less more (0) tip