[isabelle-dev] Plan for Isabelle2021 release

Makarius makarius at sketis.net
Fri Sep 25 16:22:01 CEST 2020

Quote from https://isabelle-dev.sketis.net/phame/post/view/21

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

Thus it is 10 months after Isabelle2020, according to our standard scheme. It
also means that for the year 2021 we shall have a second release on 15-Dec-2021.

Are there any side-conditions to consider for the Isabelle2021 release
schedule? What are important projects and tasks that need to be taken into

I have not yet started to sort out my own TODO list, but would definitely like
to add a few things to Isabelle/jEdit, e.g. integrated support for repository


More information about the isabelle-dev mailing list