Email Gateway (Jun 07 2023 at 18:58): Email Gateway (Jun 07 2023 at 18:58):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the forthcoming Isabelle2023 is anticipated for the second half of Aug-2023,
shortly after the ITP conference in Białystok.
For further details, see the dynamically updated blog entry
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023
Presently there is a very early preview for experimentation:
https://isabelle.sketis.net/website-Isabelle2023-RC0
The NEWS file is mostly in proper shape, but a few things still missing; some
documentation not yet written; some other important things not fully
implemented yet.
Proper Isabelle2023-RC1 is to be expected in approx. 5 weeks: then the release
process really starts.
When discussing observations about Isabelle2023-RC0, it makes more sense to
produce a specific Subject line for a new mail thread, instead of re-using
this announcement without thinking.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC