[isabelle] Isabelle2015-RC1 available for testing

Dear Isabelle users,

the release of Isabelle2015 is scheduled for this spring, presumably the end of May, or the start of June. This gives us several weeks for thorough testing of at least 3 release candidates. To start this process formally, Isabelle2015-RC1 is now available here:


With ever increasing size and complexity of the system and its many add-on tools, it is important to take testing of release candidates seriously. Problems can be solved before the release, not after it!

The main forum for discussion is here on isabelle-users, but it is also possible to contact the person who is responsible for particular Isabelle tools via private mail -- better than keeping potential problems private.


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