[isabelle-dev] Towards the Isabelle2022 release
makarius at sketis.net
Mon Aug 22 11:26:12 CEST 2022
Dear Isabelle contributors,
we are moving towards the Isabelle2022 release, which is planned for approx.
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).
More information about the isabelle-dev