[isabelle-dev] Plan for Isabelle2020 release
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
> 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