[isabelle-dev] Plan for Isabelle2020 release

Makarius makarius at sketis.net
Sun Mar 15 13:05:58 CET 2020

On 10/03/2020 15:02, Makarius wrote:
> 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).

I am in the process to publish Isabelle2020-RC2: changeset 7eadccd4392c.

This will be also the fork point for the isabelle-release vs. isabelle-dev

Please refrain from pushing anything to isabelle-dev until a changeset with
log message "back to post-release mode" appears.


More information about the isabelle-dev mailing list