| Tue, 05 Mar 2024 18:06:26 +0100 |
wenzelm |
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
|
file |
diff |
annotate
|
| Sun, 03 Mar 2024 12:28:22 +0100 |
wenzelm |
official support for arm64-linux, despite a few missing tools;
|
file |
diff |
annotate
|
| Tue, 13 Feb 2024 12:23:12 +0100 |
wenzelm |
proper "linux_arm", amending 76ad72736e9e;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2024 22:36:12 +0100 |
wenzelm |
rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 20:24:39 +0200 |
wenzelm |
update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 15:16:40 +0200 |
wenzelm |
updated Linux baseline to Ubuntu 18.04;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 14:38:40 +0200 |
wenzelm |
more platform tests: initial support for macOS 14 Sonoma;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2023 21:31:43 +0200 |
wenzelm |
more PLATFORMS;
|
file |
diff |
annotate
|
| Mon, 07 Aug 2023 13:38:10 +0200 |
wenzelm |
more hardware details;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 15:44:23 +0200 |
wenzelm |
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);
|
file |
diff |
annotate
|
| Wed, 07 Jun 2023 14:26:46 +0200 |
wenzelm |
more PLATFORMS;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2022 00:30:50 +0200 |
wenzelm |
more macOS platforms, without reference hardware;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2022 22:51:27 +0200 |
wenzelm |
updated to current Cygwin, near 3.3.5-1;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2022 21:26:56 +0200 |
wenzelm |
test macOS 12 Monterey via laramac01;
|
file |
diff |
annotate
|
| Wed, 29 Jun 2022 12:17:25 +0200 |
wenzelm |
more macOS versions;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 19:28:47 +0200 |
wenzelm |
updated to current Cygwin, near 3.2.0;
|
file |
diff |
annotate
|
| Sun, 25 Jul 2021 12:43:07 +0200 |
wenzelm |
clarified version: Apple now counts like 11, 12, ...;
|
file |
diff |
annotate
|
| Fri, 07 May 2021 16:45:49 +0200 |
wenzelm |
misc updates and clarification;
|
file |
diff |
annotate
|
| Fri, 07 May 2021 16:44:39 +0200 |
wenzelm |
clarified file name;
|
file |
diff |
annotate
| base
|