| Tue, 26 Mar 2024 20:23:13 +0100 | wenzelm | tuned comments; | changeset | files |
| 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 |
| Tue, 26 Mar 2024 12:00:08 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 26 Mar 2024 11:45:49 +0100 | wenzelm | tuned messages; | changeset | files |