HomeIsabelle/Phabricator
Phame Blogs Isabelle NEWS J72
Discontinuation of very old Linux and macOS versions

System

  • No longer support for very old versions of macOS and Linux: base-line is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.

This refers to Isabelle/0b9d7d35bcaa.

Previous Post
ML: distinguish proper interrupts from Poly/ML RTS breakdown
Next Post
Update of GHC stack with full support for ARM64 platforms
Written by makarius on Oct 17 2023, 1:01 PM.
User
Projects
Subscribers
None

Event Timeline