[isabelle-dev] Towards Isabelle2019-RC2 and isabelle-release fork
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