[isabelle] Isabelle2019-RC3 available for using

Dear Isabelle users,

this is another approximation of the forthcoming Isabelle2019 release,
which is ultimately scheduled for the first half of June 2019: see
http://isabelle.in.tum.de/website-Isabelle2019-RC3 and the corresponding

The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
continuously updated to follow the release process, it also includes a
list of notable changes.

There are about 2 weeks left to sort out remaining problems. At mid
Jun-2019 the status-quo will become final.

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


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