[isabelle] Isabelle2017-RC0 available for experimentation

Dear Isabelle users,

We are heading towards the Isabelle2017 release, which is scheduled for
October 2017. See also

For early experimentation there is now

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.


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