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 <makarius@sketis.net>
* 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.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC