HomeIsabelle/Phabricator
Phame Blogs Isabelle Release
Isabelle Release

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.