On 24/01/2026 13:06, Lawrence Paulson wrote: > >> 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? It is the next macOS release after current macOS 26. I don't know anything about its planned timeline, though. Makarius