Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Towards the Isabelle2022 release

view this post on Zulip Email Gateway (Aug 22 2022 at 09:26):

From: Makarius <>
Dear Isabelle contributors,

we are moving towards the Isabelle2022 release, which is planned for approx.

See also
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).


isabelle-dev mailing list

Last updated: Apr 21 2024 at 01:10 UTC