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


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


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

Le 2 nov. 2021 à 00:00, Makarius <makarius at> a écrit :

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


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.