Email Gateway (Aug 27 2023 at 18:29): Email Gateway (Aug 27 2023 at 18:29):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
we are getting close to the end of the Isabelle2023 release process. There is
a final chance to test Isabelle2023-RC4 from
https://isabelle.in.tum.de/website-Isabelle2023-RC4 -- less than 2 weeks
before the release becomes final and unchangeable (this saves a lot of
resources for development and maintenance).
People who have started using Isabelle2023-RC3 already, should now switch to
Isabelle2023-RC4, to avoid bad surprises in the last moment.
Further details are recorded in the release blog:
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023
Side-remark: support for distributed build clusters has now become officially
visible with status experimental. It should work sufficiently well for our
own testing of Isabelle + AFP (this is its main purpose right now).
Very ambitious and large projects may venture to use it on their own account,
but it will require notable tinkering with SSH and PostgreSQL databases (there
are no further system dependencies).
In the next Isabelle release, cluster builds will become more accessible for
everyone who needs it.
Makarius
Last updated: Apr 28 2024 at 20:16 UTC