[isabelle] Isabelle2021-1-RC3 available for testing

Dear Isabelle users,

please see https://isabelle.sketis.net/website-Isabelle2021-1-RC3 and
for further progress on the release process.

There is now a proper download for Linux (ARM), and the "isabelle
build_docker" tools works for it (relevant on Apple M1 hardware).

This is also the fork-point of the isabelle-dev repository, which continues
for the time after this release:

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

We have approx. 4 weeks left until final lift-off: afterwards there will be no
more changes on this line.


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