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
|