[isabelle] Isabelle2015-RC2 available for testing

Dear Isabelle users,

one week after Isabelle2015-RC1 there is now Isabelle2015-RC2:


Changes can be inspected 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. So far there were only minor issues, which indicates that really tough testing has not happened yet.

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. When reporting problems, the subject line should be changed to something meaningful.


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