lib/scripts/isabelle-platform
Mon, 25 Mar 2024 21:04:26 +0100 wenzelm obsolete: base-line is macOS 11;
Mon, 25 Mar 2024 20:55:27 +0100 wenzelm more robust: always assume x86_64 (or its emulation on ARM);
Tue, 11 May 2021 16:30:24 +0200 wenzelm clarified platforms;
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;
Thu, 24 Dec 2020 14:03:15 +0100 wenzelm support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
Sat, 03 Oct 2020 19:56:02 +0200 wenzelm detect/guess arm32 platform (unsupported);
Wed, 30 Sep 2020 13:20:33 +0000 wenzelm detect arm64-linux platform;
less more (0) -10 -7 tip