[isabelle] Isabelle2014-RC1 available for testing

Dear Isabelle users,

in anticipation of the Isabelle2014 release in August, the first official release candidate Isabelle2014-RC1 is now available for testing:


Some enthusiasm for testing is important to keep up with the high levels of system sophistication and user expectation that we have seen in recent years. Observations and problems of release candidates may be discussed here on isabelle-users, or via private mail with the person who is responsible (when that is obvious).

We have about 3 weeks time for that, with 2-3 release candidates as usual. The time to report problems is before the final release, not after it!


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