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);
wenzelm [Tue, 26 Mar 2024 12:07:52 +0100] rev 80006
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
wenzelm [Tue, 26 Mar 2024 12:00:08 +0100] rev 80005
tuned;
wenzelm [Tue, 26 Mar 2024 11:45:49 +0100] rev 80004
tuned messages;
wenzelm [Tue, 26 Mar 2024 11:32:16 +0100] rev 80003
update to bash_process-20240326;