[isabelle] Isabelle2016-1-RC3 available for testing
Dear Isabelle users,
after more than 2 weeks, here is the next release candidate for
Isabelle2016-1 (December 2016):
http://isabelle.in.tum.de/website-Isabelle2016-1-RC3 -- see also
More fine points have been consolidated. A component for the new
experimental Nunchaku tool has been included.
The corresponding repository versions of Isabelle and AFP are
It is also possible to follow nightly development snapshots from
http://isabelle.in.tum.de/devel although they might be somewhat erratic.
At this stage, Isabelle release candidates are already sufficiently
consolidated to be ready for everyday use. Adapting your applications
now gives a unique chance for feedback before the release is finalized.
When discussing problems, observations, suggestions, etc. the mail
subject line should be changed to something informative, and the
particular Isabelle version given in the message body.
This archive was generated by a fusion of
Pipermail (Mailman edition) and