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

Makarius makarius at sketis.net
Fri May 10 11:32:38 CEST 2019

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

So this is the last opportunity for minor tuning of the release on
isabelle-dev. After the fork, changesets for isabelle-release need to be
sent via email to me.

The fork of afp-devel vs. afp-2019 should follow soon: Gerwin will say
when that happens.


More information about the isabelle-dev mailing list