[isabelle] Isabelle2018-RC0 available for experimentation



Dear Isabelle users,

the Isabelle2018 release is scheduled for August 2018, approx. 10 weeks
from now. The first official release candidate can be anticipated in 4
weeks.

In order to get started with proper testing, there is now an informal
snapshot Isabelle2018-RC0 (see
https://isabelle.in.tum.de/website-Isabelle2018-RC0).

The ongoing release process is continuously documented at
see also https://sketis.net/2018/release-candidates-for-isabelle2018


When discussing observations about release candidates, please provide
a 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.