[isabelle] Isabelle2016-RC0 available for testing
Dear Isabelle users,
the coming Isabelle2016 release is scheduled for February 2016, after the
next big Java 8 update by Oracle in January and some weeks before the
deadline of ITP 2016.
To get started with systematic testing there is now the relatively early
http://isabelle.in.tum.de/website-Isabelle2016-RC0 (corresponding to
Isabelle/e18444532fce and AFP/c62777f3e932).
The website, NEWS, ANNOUNCE etc. are already mostly up-to-date. Some
documentation is still lagging behind, notably the Isabelle/jEdit manual.
There are further fine points still to be sorted out.
When discussing problems, observations, suggustions, etc. the mail subject
line should be changed to something meaningful (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 may still change, but the final release is final.
Although this is tautological, in the past few releases we've often had
complaints right after final lift-off, when it was too late.
So the best time to start testing is now.
This archive was generated by a fusion of
Pipermail (Mailman edition) and