[isabelle] Isabelle2021-1-RC0 available for experiments



Dear Isabelle users,

the next release is scheduled for 15-Dec-2021 (or a bit earlier). The first
official release candidate will appear around 01-Nov-2021.

To warm up, here is a informal snapshot for experimentation and early
feedback: https://isabelle.sketis.net/website-Isabelle2021-1-RC0

Many things are still missing: for example there will be a proper linux-arm
distribution eventually, e.g. for docker on Apple Silicon M1.

Many other things are already there, but not yet covered in NEWS.


        Makarius




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