[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
account?

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
browsing.


	Makarius


More information about the isabelle-dev mailing list