| Wed, 27 Mar 2024 17:51:37 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 17:11:46 +0100 |
wenzelm |
support for "all" platforms;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 17:04:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 13:23:15 +0100 |
wenzelm |
more Setup_Tool services;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 20:58:01 +0100 |
wenzelm |
misc tuning, following go_setup;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 20:23:13 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 17:27:35 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 17:06:23 +0100 |
wenzelm |
clarified signature: explicit type Platform.Info with derived operations;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 12:07:52 +0100 |
wenzelm |
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 12:00:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 16:28:43 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 15:00:22 +0100 |
wenzelm |
update to dotnet-8.0.203;
|
file |
diff |
annotate
|
| Wed, 06 Mar 2024 17:04:54 +0100 |
wenzelm |
update to current long-term-support version dotnet-8.0.x;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:29:34 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 21:59:20 +0200 |
wenzelm |
latest version;
|
file |
diff |
annotate
|