[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
This archive was generated by a fusion of
Pipermail (Mailman edition) and