Stream: Mirror: Isabelle Development Mailing List

Topic: Testing macOS 26 Tahoe

Email Gateway (Nov 04 2025 at 17:18):

From: Makarius <makarius@sketis.net>
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

Email Gateway (Nov 04 2025 at 18:23):

From: Lawrence Paulson via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
I’ve been using it for a while, no problems.

Larry
On 4 Nov 2025 at 17:18 +0000, Makarius <makarius@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

Email Gateway (Nov 04 2025 at 19:38):

From: Makarius <makarius@sketis.net>
On 04/11/2025 18:17, Makarius wrote:

I have started testing macOS 26 Tahoe.

This virtual environment helps to test other macOS versions (12, 13, 14, 15)
on the same macOS 26 system: https://github.com/insidegui/VirtualBuddy

It appeared first for macOS 15, still a bit rough, and appears to be more
stable now.

Makarius

Last updated: Nov 05 2025 at 08:30 UTC