equal
deleted
inserted
replaced
655 for all platforms, including ARM Linux and Apple Silicon. |
655 for all platforms, including ARM Linux and Apple Silicon. |
656 |
656 |
657 * Update to .NET / Fsharp 8.0.x: the current long-term support version. |
657 * Update to .NET / Fsharp 8.0.x: the current long-term support version. |
658 |
658 |
659 * Update to current Phorge 2024 week 35 (formerly Phabricator), with |
659 * Update to current Phorge 2024 week 35 (formerly Phabricator), with |
660 support for Ubuntu 20.4 and 22.04. The Isabelle "system" manual now |
660 support for Ubuntu 22.04 and 24.04. The Isabelle "system" manual now |
661 refers to the project as "Phorge", but "phabricator" remains for formal |
661 refers to the project as "Phorge", but "phabricator" remains for formal |
662 names (files, DNS etc.). |
662 names (files, DNS etc.). |
663 |
663 |
664 * Update to official Poly/ML 5.9.1. |
664 * Update to official Poly/ML 5.9.1. |
665 |
665 |