Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2022 on macOS Ventura

view this post on Zulip Email Gateway (Oct 26 2022 at 09:31):

From: Makarius <makarius@sketis.net>
Dear Isabelle users on macOS,

yesterday my MacMini M1 proposed an update to macOS 13.0 Ventura. The
installation actually worked smoothly (after doing the Isabelle release).

So far, Isabelle2022 appears to work fine on macOS 13.0. This has not always
been the case for major macOS updates, so it is worth noting.

Makarius

Last updated: Jan 04 2025 at 20:18 UTC