The future of macos vs. macos_arm

[Lawrence Paulson]

Oh that. I wonder if anybody uses the app? As it stands, it is very basic. It needs at least a drag and drop capability. It should not be difficult, but we need to find somebody who knows how to build these things.

Larry

> On 24 Jan 2026, at 13:11, Makarius <makarius at sketis.net> wrote:
> 
> 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.
>