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.
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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
