Email Gateway (Aug 22 2022 at 09:26): Email Gateway (Aug 22 2022 at 09:26):From: Makarius <makarius@sketis.net>
Dear Isabelle contributors,
we are moving towards the Isabelle2022 release, which is planned for approx.
20-Oct-2022.
See also
https://isabelle-dev.sketis.net/phame/post/view/58/release_candidates_for_isabelle2022
for ongoing activity (published release candidates etc.).
Now is the time to finish, wrap-up, update NEWS and CONTRIBUTORS. (I am myself
still busy with updates on HTML presentation, and PDF document preparation).
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Dec 21 2024 at 16:20 UTC