Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Discontinuation of very old Linux an...

view this post on Zulip Email Gateway (Oct 17 2023 at 11:12):

From: Makarius <>
* System *

This refers to Isabelle/0b9d7d35bcaa.

In particular, our collection of ancient macOS test versions (10.13, 10.14,
10.15) has been greatly reduced, see also Isabelle/3b424f9cd5eb.

Thus macOS 11 Big Sur has become the uniform base-line for both Intel and
ARM64. The same C/C++ compiler version is used to build Poly/ML, which I have
formally updated in Isabelle/62b64f168c31.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC