[isabelle-dev] Final consolidation for Isabelle2018-RC2
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
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).
More information about the isabelle-dev