HomeIsabelle/Phabricator
Plan for Isabelle2021 release

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

Written by makarius on Sep 25 2020, 4:13 PM.
User
Projects
None
Subscribers
None

Event Timeline