> On 23 Jan 2026, at 21:48, Makarius <makarius at sketis.net> wrote: > > Thus we can easily continue x86_64-darwin for Isabelle contrib executables, Might be worth asking how many people still need this. > Note that when macOS 27 hits the end-user market, people can no longer run Isabelle with all its add-on tools. What’s this? Larry