[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

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

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!


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