[isabelle-dev] Towards the Isabelle2022 release

Makarius 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. 

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


More information about the isabelle-dev mailing list