[isabelle] Isabelle2017-RC0 available for experimentation



Dear Isabelle users,

We are heading towards the Isabelle2017 release, which is scheduled for
October 2017. See also
http://sketis.net/2017/release-candidates-for-isabelle2017

For early experimentation there is now
http://isabelle.in.tum.de/website-Isabelle2017-RC0

There are still some changes to be expected before the first formal
release candidate (presumably in the first week of September).


When discussing observations about release candidates, please ensure
that the Subject line clearly marks a meaningful mailing list thread.


	Makarius




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