[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 audience.

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 long over).

Feedback on problems can be posted on the list, or sent privately.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.