[isabelle] Isabelle release candidate
The next official Isabelle release is scheduled for October 2011. In the
2-3 weeks before shipment there are traditional test releases, but this
time they are called "release candidates" and announced to a wider
So Isabelle2011-1-RC1 is now available here:
This enables users to try on their own machines, and see how their
applications work with the coming release. Incompatibilites between the
RCs and the final version should be neglibile.
This gives an opportunity for last-minute fixes, but no feature additions
(the de-facto feature freeze is usually 6 weeks before a release, so it is
Feedback on problems can be posted on the list, or sent privately.
This archive was generated by a fusion of
Pipermail (Mailman edition) and