[isabelle-dev] Plan for Isabelle2020 release
makarius at sketis.net
Tue Mar 10 15:02:44 CET 2020
On 02/03/2020 17:39, Makarius wrote:
> This is an update on the Isabelle2020 release process.
> * Isabelle2020-RC2 is to be expected within 1-2 weeks: this will be also the
> fork-point for the Isabelle release repository
The present plan is to fork Isabelle2020-RC2 from isabelle-dev towards the end
of the week: 13/14-Mar-2020.
Afterwards only very important changes will be accepted (sent to me as
changesets or bundles via email).
More information about the isabelle-dev