Release Candidates for Isabelle2024
The official Isabelle2024 release is scheduled for mid May 2024. This blog entry is dynamically updated to follow the sequence of public release candidates. See also the isabelle-release repository.
Plan for Isabelle2024 release
The next anticipated release is after Isabelle2023 (September 2023) is Isabelle2024 (May 2024). The distance between two releases is usually 8–10 months, but recently this got closer 11 months. To return to regularity, and to accommodate other side-conditions, the hot phase of the release is presently scheduled for 03-Apr..15-May-2024. The detailed plan is as follows:
Release Candidates for Isabelle2023
The official Isabelle2023 release is scheduled for early September 2023. This blog entry is dynamically updated to follow the sequence of public release candidates. See also the isabelle-release repository.
Release Candidates for Isabelle2022
The official Isabelle2022 release is scheduled for late October 2022. This blog entry is dynamically updated to follow the sequence of public release candidates. See also the isabelle-release repository.
Release Candidates for Isabelle2021-1
The official Isabelle2021-1 release is scheduled for December 2021. This blog entry is dynamically updated to follow the sequence of public release candidates. See also the isabelle-release repository.
Plan for Isabelle2021-1 release
The next anticipated release is Isabelle2021-1 (December 2021): as the distance between two releases is usually 8–10 months, there are sometimes 2 releases per year. This explains the slightly odd name tag, but in all other respects, Isabelle-2021-1 should be a perfectly normal official release.
Release Candidates for Isabelle2021
The official Isabelle2021 release is scheduled for February 2021. This blog entry is dynamically updated to follow the sequence of public release candidates. See also the workboard and the isabelle-release repository.
Plan for Isabelle2021 release
The next anticipated release is Isabelle2021 (February 2021). The hot phase with release candidates will presumably be 28-Dec-2020 .. 15-Feb-2020.
Release Candidates for Isabelle2020
The official Isabelle2020 release is scheduled for April 2020. This blog entry is dynamically updated to follow the sequence of public release candidates.
Plan for Isabelle2020 release
The next anticipated release is Isabelle2020 (April 2020). The hot phase with release candidates will presumably be 01-Mar-2020 .. 15-Apr-2020.
Notifications about the Isabelle release process.