Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- obsolete: base-line is macOS 11;
- more robust: always assume x86_64 (or its emulation on ARM);
The file was modified | lib/scripts/isabelle-platform |
The file was modified | lib/scripts/isabelle-platform |