equal
deleted
inserted
replaced
657 |
657 |
658 * Update to GHC stack-2.15.5, stackage-lts-22.15, ghc-9.6.4 with support |
658 * Update to GHC stack-2.15.5, stackage-lts-22.15, ghc-9.6.4 with support |
659 for all platforms, including ARM Linux and Apple Silicon. |
659 for all platforms, including ARM Linux and Apple Silicon. |
660 |
660 |
661 * Update to .NET / Fsharp 8.0.x: the current long-term support version. |
661 * Update to .NET / Fsharp 8.0.x: the current long-term support version. |
|
662 |
|
663 * Update to current Phorge 2024 week 35 (formerly Phabricator), with |
|
664 support for Ubuntu 20.4 and 22.04. The Isabelle "system" manual now |
|
665 refers to the project as "Phorge", but "phabricator" remains for formal |
|
666 names (files, DNS etc.). |
662 |
667 |
663 * Update to official Poly/ML 5.9.1. |
668 * Update to official Poly/ML 5.9.1. |
664 |
669 |
665 * Update to OpenJDK 21: the current long-term support version of Java. |
670 * Update to OpenJDK 21: the current long-term support version of Java. |
666 |
671 |