From: Makarius <firstname.lastname@example.org>
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 https://isabelle.in.tum.de/website-Isabelle2021-RC1 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: Jan 25 2022 at 02:35 UTC