[isabelle] Isabelle2021-RC5 available for applications

Dear Isabelle users,

the end of the Isabelle2021 release process is getting pretty close.
Presumably the last release candidate is

See again
and 4 for further details.

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

People who have tested earlier release candidates should definitely follow
this one, otherwise some last-minute problems might remain undetected.


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