[isabelle] Isabelle2019-RC2 available for testing



Dear Isabelle users,

we are getting one step closer to the Isabelle2019 release, which is
ultimately scheduled for the first half of June 2019.

The consolidated release candidate Isabelle2019-RC2 is now available
from https://isabelle.in.tum.de/website-Isabelle2019-RC2 -- it
corresponds to AFP version
https://isabelle.sketis.net/repos/afp-devel/rev/2170a6647f04

The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
continuously updated to follow the release process.


Everything is ready and pretty stable. We need more serious testing to
produce counter-examples to this claim.

When discussing release candidates, please provide a mail Subject line
that fits to the content, not just a clone of the announcement.


	Makarius




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