The future of macos vs. macos_arm

[Makarius]

On 24/01/2026 14:00, Lawrence Paulson wrote:
> I mean what’s this "people can no longer run Isabelle with all its add-on tools”?

So far, the Isabelle.app launcher insisted in Intel, to prompt for 
installation of Rosetta 2. This will fail after macOS 26, and users need to 
use Isabelle.app/isabelle/bin/isabelle jedit on the command-line.

I can change that easily, and make the launcher hybrid on Intel or ARM. 
Afterwards, there will be some add-on tools that still insist on Intel: we 
need to sort that out, maybe this year or next year.


	Makarius