[isabelle] Isabelle2021-RC4 available for applications



Dear Isabelle users,

we are now approx. 2 weeks before the final (unchangeable) release of
Isabelle2021.

The release train has arrived at Isabelle2021-RC4, see also
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
and https://isabelle.sketis.net/website-Isabelle2021-RC4.


Any feedback about release candidates should be posted with a meaningful
Subject including the version (not just a clone of this announcement).

As usual, I do have the ambition to deliver a decent approximation of
perfection, regardless of structural and systemic sloppiness surrounding us.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.