| 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
|
| 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
|
| Thu, 15 Jun 2023 14:28:17 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 23:25:30 +0100 |
wenzelm |
clarified signature: manage "verbose" flag via "progress";
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:52:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 16:29:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 20:48:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 22:07:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 12:54:46 +0100 |
wenzelm |
proper executable files for Windows;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 12:20:38 +0100 |
wenzelm |
further attempts to confine dotnet to $ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 12:11:13 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 12:07:44 +0100 |
wenzelm |
more command-line options;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 12:00:35 +0100 |
wenzelm |
clarified component settings: always update existing version;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 23:42:07 +0100 |
wenzelm |
disable telemetry;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 23:16:43 +0100 |
wenzelm |
clarified error;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 23:08:35 +0100 |
wenzelm |
tuned message, example is in NEWS;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 22:59:38 +0100 |
wenzelm |
proper default_platform;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 22:35:20 +0100 |
wenzelm |
support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
|
file |
diff |
annotate
|