[isabelle-dev] Final consolidation for Isabelle2018-RC2

Makarius makarius at sketis.net
Wed Jul 18 12:53:27 CEST 2018


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


More information about the isabelle-dev mailing list