| Tue, 26 Mar 2024 17:27:35 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Tue, 26 Mar 2024 17:06:23 +0100 | wenzelm | clarified signature: explicit type Platform.Info with derived operations; | changeset | files |
| Tue, 26 Mar 2024 16:04:06 +0100 | wenzelm | less ambitious parallelism: avoid exhaustion of memory (64GB total); | changeset | files |
| Tue, 26 Mar 2024 12:07:52 +0100 | wenzelm | provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup"; | changeset | files |