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

[Makarius]

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