[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 http://isabelle.in.tum.de/website-Isabelle2016-RC1

The corresponding repository versions of Isabelle and AFP are http://isabelle.in.tum.de/repos/isabelle/rev/3764797dd6fc and https://bitbucket.org/isa-afp/afp-devel/commits/2c322507b8a6

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 MHonArc.