Email Gateway (Mar 25 2024 at 14:44): Email Gateway (Mar 25 2024 at 14:44):From: Makarius <makarius@sketis.net>
Dear Isabelle contributors,
we have approx. 10 days left until Isabelle2024-RC1. That is the first public
release candidate, and there is usually time until RC2/RC3 to finalize
everything. See also
https://isabelle-dev.sketis.net/phame/post/view/76/release_candidates_for_isabelle2024
Now is a good point to update CONTRIBUTORS and NEWS: the headline says
"Isabelle NEWS -- history of user-relevant changes", or seen from a different
angle: a change that is not user-relevant is hardly relevant at all.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 02 2024 at 13:13):From: Makarius <makarius@sketis.net>
So far it looks like we are on time, and Isabelle2024-RC1 can be published
tomorrow (approx. 20h from now).
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 03 2024 at 15:06):From: Makarius <makarius@sketis.net>
Done.
Right now the isabelle-dev repository is for Isabelle2024 RC2 and maybe also
RC3 --- so it is possible to do further fine-tuning for the release. When the
repository fork becomes foresee able, I will announce several in due time.
I also hope that the corresponding AFP release fork will be taken into
consideration on time, such that we don't get an undefined situation of
isabelle-dev vs. afp-devel for no particular reason.
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 20:16 UTC