| 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 |