Testing macOS 26 Tahoe

Lawrence Paulson lp15 at cam.ac.uk
Tue Nov 4 19:22:38 CET 2025


I’ve been using it for a while, no problems.

Larry
On 4 Nov 2025 at 17:18 +0000, Makarius <makarius at sketis.net>, wrote:
I have started testing macOS 26 Tahoe. So far it looks good, at least
metaphorically, in the sense that every appears to work fine. The actual look
of macOS 26 is a bit strange, something to get used to. It might well be the
next "Windows Vista", where strange look was advertized as "here to stay" and
later rolled back.


Makarius

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251104/b897f740/attachment.htm>


More information about the isabelle-dev mailing list