Architecture problem

[Lawrence Paulson]

Indeed, that was it. But why did it work before?

Larry
On 21 Oct 2025 at 19:05 +0100, Makarius <makarius at sketis.net>, wrote:

What is still odd: Why does your local setup demand x86_64_32-darwin/poly? It
could be something in etc/preferences: ML_platform.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251021/a3ead1fb/attachment-0001.htm>