| Mon, 25 Mar 2024 21:04:26 +0100 |
wenzelm |
obsolete: base-line is macOS 11;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2024 20:55:27 +0100 |
wenzelm |
more robust: always assume x86_64 (or its emulation on ARM);
|
file |
diff |
annotate
|
| Tue, 11 May 2021 16:30:24 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 16:50:53 +0100 |
wenzelm |
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
|
file |
diff |
annotate
|
| Thu, 24 Dec 2020 14:03:15 +0100 |
wenzelm |
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
|
file |
diff |
annotate
|
| Sat, 03 Oct 2020 19:56:02 +0200 |
wenzelm |
detect/guess arm32 platform (unsupported);
|
file |
diff |
annotate
|
| Wed, 30 Sep 2020 13:20:33 +0000 |
wenzelm |
detect arm64-linux platform;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 22:24:28 +0100 |
wenzelm |
updated platform situation: 32bit variants are marginal or absent;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 19:49:13 +0200 |
wenzelm |
discontinued rudiments of BSD support;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2017 20:43:21 +0200 |
wenzelm |
basic support for x86_64-cygwin;
|
file |
diff |
annotate
|
| Wed, 01 Mar 2017 11:26:19 +0100 |
wenzelm |
more uniform platform settings;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2017 23:12:52 +0100 |
wenzelm |
more detailed platform information;
|
file |
diff |
annotate
|