[isabelle] Isabelle2019-RC1 available for testing



Dear Isabelle users,

the Isabelle2019 release is scheduled for mid June 2019, approx. 5-6
weeks from now. This is a strict deadline, because I will be on travel
afterwards.

A fairly stable Isabelle2019-RC1 is now available from
https://isabelle.in.tum.de/website-Isabelle2019-RC1 -- it corresponds to
AFP/d50417d0ae64 (e.g. see
https://isabelle.sketis.net/repos/afp-devel/rev/d50417d0ae64).

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


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

As usual, the best time to start testing is right now!


	Makarius




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