wenzelm [Tue, 26 Mar 2024 21:25:35 +0100] rev 80016
misc tuning for release;
wenzelm [Tue, 26 Mar 2024 21:16:47 +0100] rev 80015
merged;
wenzelm [Tue, 26 Mar 2024 21:09:46 +0100] rev 80014
NEWS for "isabelle go_setup";
wenzelm [Tue, 26 Mar 2024 21:04:43 +0100] rev 80013
proper platform_path for Windows;
wenzelm [Tue, 26 Mar 2024 20:58:01 +0100] rev 80012
misc tuning, following go_setup;
wenzelm [Tue, 26 Mar 2024 20:39:06 +0100] rev 80011
dynamic setup of Go component, similar to Dotnet;
wenzelm [Tue, 26 Mar 2024 20:23:13 +0100] rev 80010
tuned comments;
wenzelm [Tue, 26 Mar 2024 17:27:35 +0100] rev 80009
clarified signature: more operations;
wenzelm [Tue, 26 Mar 2024 17:06:23 +0100] rev 80008
clarified signature: explicit type Platform.Info with derived operations;
wenzelm [Tue, 26 Mar 2024 16:04:06 +0100] rev 80007
less ambitious parallelism: avoid exhaustion of memory (64GB total);