| Wed, 09 Apr 2025 17:40:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2025 16:55:20 +0200 |
wenzelm |
clarified signature: more explicit type Platform_Context;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2025 15:31:27 +0200 |
wenzelm |
added option -G to build GMP library from sources;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 00:40:57 +0100 |
wenzelm |
removed unused imports;
|
file |
diff |
annotate
|
| Sun, 19 Jan 2025 15:36:12 +0100 |
wenzelm |
tuned output: proper progress;
|
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 20:10:08 +0200 |
wenzelm |
proper options for macOS 11 Big Sur;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 15:26:39 +0200 |
wenzelm |
support for official release of polyml-5.9.1;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 15:09:20 +0200 |
wenzelm |
support for macOS 14 Sonoma (only for testing);
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 14:27:54 +0200 |
wenzelm |
updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;
|
file |
diff |
annotate
|
| Sun, 06 Aug 2023 23:44:50 +0200 |
wenzelm |
update to polyml-219e0a248f70, with more robust support for ARM64;
|
file |
diff |
annotate
|
| Sun, 06 Aug 2023 22:40:12 +0200 |
wenzelm |
tuned generated README;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 22:54:44 +0100 |
wenzelm |
renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
|
file |
diff |
annotate
| base
|