| Wed, 07 May 2025 22:06:49 +0200 |
wenzelm |
clarified settings: these are setup defaults, not necessarily the installed version;
|
file |
diff |
annotate
|
| Tue, 06 May 2025 16:52:39 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| 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
|