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
https://bugs.openjdk.java.net/browse/JDK-8273358


	Makarius




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