[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