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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
