Wed, 27 Mar 2024 12:50:37 +0100 proper services for Setup_Tool --- avoid hardwired stuff;
wenzelm [Wed, 27 Mar 2024 12:50:37 +0100] rev 80021
proper services for Setup_Tool --- avoid hardwired stuff;
Wed, 27 Mar 2024 10:54:47 +0100 merged
desharna [Wed, 27 Mar 2024 10:54:47 +0100] rev 80020
merged
Tue, 26 Mar 2024 09:33:33 +0100 renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
desharna [Tue, 26 Mar 2024 09:33:33 +0100] rev 80019
renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
Tue, 26 Mar 2024 21:44:18 +0100 more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
wenzelm [Tue, 26 Mar 2024 21:44:18 +0100] rev 80018
more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
Tue, 26 Mar 2024 21:34:08 +0100 more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
wenzelm [Tue, 26 Mar 2024 21:34:08 +0100] rev 80017
more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
Tue, 26 Mar 2024 21:25:35 +0100 misc tuning for release;
wenzelm [Tue, 26 Mar 2024 21:25:35 +0100] rev 80016
misc tuning for release;
Tue, 26 Mar 2024 21:16:47 +0100 merged;
wenzelm [Tue, 26 Mar 2024 21:16:47 +0100] rev 80015
merged;
Tue, 26 Mar 2024 21:09:46 +0100 NEWS for "isabelle go_setup";
wenzelm [Tue, 26 Mar 2024 21:09:46 +0100] rev 80014
NEWS for "isabelle go_setup";
Tue, 26 Mar 2024 21:04:43 +0100 proper platform_path for Windows;
wenzelm [Tue, 26 Mar 2024 21:04:43 +0100] rev 80013
proper platform_path for Windows;
Tue, 26 Mar 2024 20:58:01 +0100 misc tuning, following go_setup;
wenzelm [Tue, 26 Mar 2024 20:58:01 +0100] rev 80012
misc tuning, following go_setup;
Tue, 26 Mar 2024 20:39:06 +0100 dynamic setup of Go component, similar to Dotnet;
wenzelm [Tue, 26 Mar 2024 20:39:06 +0100] rev 80011
dynamic setup of Go component, similar to Dotnet;
Tue, 26 Mar 2024 20:23:13 +0100 tuned comments;
wenzelm [Tue, 26 Mar 2024 20:23:13 +0100] rev 80010
tuned comments;
Tue, 26 Mar 2024 17:27:35 +0100 clarified signature: more operations;
wenzelm [Tue, 26 Mar 2024 17:27:35 +0100] rev 80009
clarified signature: more operations;
Tue, 26 Mar 2024 17:06:23 +0100 clarified signature: explicit type Platform.Info with derived operations;
wenzelm [Tue, 26 Mar 2024 17:06:23 +0100] rev 80008
clarified signature: explicit type Platform.Info with derived operations;
Tue, 26 Mar 2024 16:04:06 +0100 less ambitious parallelism: avoid exhaustion of memory (64GB total);
wenzelm [Tue, 26 Mar 2024 16:04:06 +0100] rev 80007
less ambitious parallelism: avoid exhaustion of memory (64GB total);
Tue, 26 Mar 2024 12:07:52 +0100 provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
wenzelm [Tue, 26 Mar 2024 12:07:52 +0100] rev 80006
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 tip