Email Gateway (Sep 11 2022 at 11:03): Email Gateway (Sep 11 2022 at 11:03):From: Makarius <makarius@sketis.net>
We are already on Isabelle2022-RC1 with Isabelle/6308eaaa88f1, but still on
the isabelle-dev repository.
This means that ongoing changes are for the release. The fork of the
isabelle-dev vs. isabelle-release repositories will happen in approx. 1-2 weeks.
Now is still an opportunity to add missing entries to NEWS and CONTRIBUTORS.
This will eventually also affect ANNOUNCE and thus the website front page.
It would be also great if afp-devel could move faster than usual, and keep
close to isabelle-release.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Oct 12 2024 at 20:18 UTC