[isabelle] Isabelle2021-RC4 available for applications

Dear Isabelle users,

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

The release train has arrived at Isabelle2021-RC4, see also
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.


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