HomeIsabelle/Phabricator
Phame Blogs Isabelle Release
Isabelle Release

Release Candidates for Isabelle2024

Written by makarius on Wed, Mar 6, 11:33 AM.

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.

Read more...

Plan for Isabelle2024 release

Written by makarius on Sep 9 2023, 12:45 PM.

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:

Read more...

Release Candidates for Isabelle2023

Written by makarius on Jun 7 2023, 4:24 PM.

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.

Read more...

Release Candidates for Isabelle2022

Written by makarius on Aug 8 2022, 9:06 PM.

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.

Read more...

Release Candidates for Isabelle2021-1

Written by makarius on Nov 1 2021, 4:48 PM.

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.

Read more...

Plan for Isabelle2021-1 release

Written by makarius on Oct 3 2021, 6:49 PM.

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.

Read more...

Release Candidates for Isabelle2021

Written by makarius on Nov 30 2020, 1:15 PM.

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.

Read more...

Plan for Isabelle2021 release

Written by makarius on Sep 25 2020, 4:13 PM.

The next anticipated release is Isabelle2021 (February 2021). The hot phase with release candidates will presumably be 28-Dec-2020 .. 15-Feb-2020.

Read more...

Release Candidates for Isabelle2020

Written by makarius on Feb 14 2020, 9:43 PM.

The official Isabelle2020 release is scheduled for April 2020. This blog entry is dynamically updated to follow the sequence of public release candidates.

Read more...

Plan for Isabelle2020 release

Written by makarius on Dec 22 2019, 6:08 PM.

The next anticipated release is Isabelle2020 (April 2020). The hot phase with release candidates will presumably be 01-Mar-2020 .. 15-Apr-2020.

Read more...
About Isabelle Release

Notifications about the Isabelle release process.