Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Apple switching to ARM

view this post on Zulip Email Gateway (Jan 03 2021 at 11:38):

From: Makarius <>
In the meantime I have occasionally looked through your scripts and patches
from that repository.

Current Isabelle2021-RC1 supports arm64-linux (Pi OS) and arm64-darwin (macOS
Big Sur) to some extent.

Instead of official this
requires to use a repository clone
--- after the "hg clone" command you can navigate the desired version e.g. via
"hg up -r Isabelle2021-RC1".

I am still considering how much arm64-darwin will be in the final app bundle
Isabelle2021 (February 2021). There will be nothing particular for arm64-linux
(or NixOS), though.


Last updated: Dec 05 2021 at 22:18 UTC