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).

isabelle-dev mailing list

Reply via email to