[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