[isabelle] Isabelle2016-RC1 available for testing
Dear Isabelle users,
the coming Isabelle2016 release is scheduled for February 2016. Two weeks
after an informal snapshot, we now have a formal release candidate
The corresponding repository versions of Isabelle and AFP are
The website, NEWS, ANNOUNCE etc. are already up-to-date, but some
documentation still needs further revisions.
When discussing problems, observations, suggestions, etc. the mail subject
line should be changed to something informative (but the release candidate
number still given in the message body).
As usual it is important to keep general laws of causality in mind:
release candidates can be modified, but the final release is final.
Testing needs to happen now, in order to be meaningful.
This archive was generated by a fusion of
Pipermail (Mailman edition) and