[isabelle-dev] Final consolidation for Isabelle2018-RC2

[Makarius]

This is a reminder that we are in the final consolidation phase towards
Isabelle2018-RC2.

I will say more precisely when the fork of the isabelle-dev vs.
isabelle-release repositories will happen, presumably in the next few
days. After return from FLoC I still need to sort out many details, and
some genuine problems (apart from inevitable last-minute additions).


	Makarius