[isabelle-dev] Plan for Isabelle2020 release

Makarius 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
> https://isabelle.sketis.net/repos/isabelle-release

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 mailing list