[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

In order to get started with proper testing, there is now an informal
snapshot Isabelle2018-RC0 (see

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


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