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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
