Email Gateway (Apr 18 2024 at 13:28): Email Gateway (Apr 18 2024 at 13:28):From: Makarius <makarius@sketis.net>
That is Isabelle/e414bcc5a39e: it will be the final changeset before the
fork-point, which I am going to push in a few minutes ... (You are lucky that
I've had an appointment with the dentist this afternoon.)
Note that e414bcc5a39e will not be in Isabelle2024-RC2, but in
Isabelle2024-RC3. It takes approx. 3-4h from tagging a release to publishing
it, and I did start around 11:00 UTC+2 today, as announced yesterday.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: May 06 2024 at 16:21 UTC