| Sun, 13 Apr 2025 12:26:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Apr 2025 12:23:48 +0200 |
wenzelm |
more accurate MinGW path conversion: support locations outside of mingw.root;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2025 20:39:06 +0200 |
wenzelm |
more robust access to GMP library that is provided here;
|
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
|
| Sat, 20 Jan 2024 13:31:07 +0100 |
wenzelm |
always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 15:16:40 +0200 |
wenzelm |
updated Linux baseline to Ubuntu 18.04;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 16:26:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 19:29:28 +0200 |
wenzelm |
proper library names on Windows;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 16:17:08 +0200 |
wenzelm |
more portable;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 15:58:37 +0200 |
wenzelm |
clarified Executable.libraries_closure;
|
file |
diff |
annotate
|
| Sun, 11 Oct 2020 22:26:55 +0200 |
wenzelm |
support for platform-specific executables;
|
file |
diff |
annotate
|