HomeIsabelle/Phabricator
Plan for Isabelle2020 release

The next anticipated release is Isabelle2020 (April 2020). The hot phase with release candidates will presumably be 01-Mar-2020 .. 15-Apr-2020.

Written by makarius on Dec 22 2019, 6:08 PM.
User
Projects
None
Subscribers
None

Event Timeline