Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-1-RC1: macOS 12 Monterey

view this post on Zulip Email Gateway (Nov 01 2021 at 23:01):

From: Makarius <makarius@sketis.net>
Early adopters are particularly invited to test macOS 12 Monterey. Both my
MacMini test machines are already on Monterey, and so far it looks good.

One round of fine-tuning has already gone over OpenJDK 17.0.1, e.g. the
missing Times font that has been addressed already in
https://bugs.openjdk.java.net/browse/JDK-8273358

Makarius

view this post on Zulip Email Gateway (Nov 04 2021 at 10:13):

From: Frédéric Boulanger <frederic.boulanger@centralesupelec.fr>
Hello,

I tried Isabelle2021-1-RC1 with MacOS Monterey on both an Intel and an M1 machine without any problem.

Frédéric

Frédéric Boulanger
CentraleSupélec - Département Informatique Laboratoire Méthodes Formelles (LMF)
3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex Bât. 650 - 1 rue Raimond Castaing, 91190 Gif-sur-Yvette
+33 [0]1 69 85 14 84

Last updated: Jul 15 2022 at 23:21 UTC