[isabelle-dev] Towards Isabelle2019-RC2 and isabelle-release fork

Makarius makarius at sketis.net
Sat May 11 15:17:04 CEST 2019

On 10/05/2019 11:32, Makarius wrote:
> The next release candidate (Isabelle2019-RC2) is expected for tomorrow,
> approx. 30h from now.
> This will also be the fork of the isabelle-dev vs. isabelle-release
> repositories: afterwards isabelle-dev continues with post-Isabelle2019
> development and isabelle-release converges towards the final version of
> Isabelle2019.

I have started working on this: presumably, Isabelle2019-RC2 will be
current Isabelle/efbdfcaa6258 + AFP/2170a6647f04.

It will take some hours until a changeset with log message "back to
post-release mode -- after fork point" will appear on isabelle-dev. This
is the sign for post-Isabelle2019 development.


More information about the isabelle-dev mailing list