Email Gateway (Mar 06 2024 at 10:40): Email Gateway (Mar 06 2024 at 10:40):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
please regard to following blog entry:
https://isabelle-dev.sketis.net/phame/post/view/76/release_candidates_for_isabelle2024
We are presently at the very early preview of Isabelle2024-RC0. A few big
things are still in the pipeline and not mentioned in the NEWS yet.
It will be a rather tight schedule this spring, and hopefully everything will
be finished, final, unchangeable until 15-May-2024.
Makarius
Last updated: Apr 29 2024 at 04:18 UTC