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: Mar 29 2024 at 12:28 UTC