HomeIsabelle/Phabricator
Phame Blogs Isabelle Release
Isabelle Release

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.