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

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.