[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
https://isabelle.sketis.net/repos/afp-2019

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.


	Makarius





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