[isabelle] Isabelle2013-1-RC1 available for testing
Dear Isabelle users,
the Isabelle2013-1 release is scheduled for November 2013. Before actual
lift-off we have approx. 5 weeks of public testing of release candidates.
See https://bitbucket.org/isabelle_project/isabelle-release for the main
website where this is organized. There is also a link to an issue tracker on
the same Bitbucket site.
The website with downloads etc. is
Observations from testing release candidates may be discussed here on
isabelle-users (not isabelle-dev), on the bitbucket tracker, or via private
Active participation in testing is important to iron out small problems,
and raise the overall quality of the system for everybody. There is a
particular challenge to make all platforms work smoothly: Linux, Windows,
Mac OS X. The Isabelle quality standards and user expectations have
continously increased in recent years, while all major operating system
vendors and distributors are on a slight downwards curve.
The time to sort out issues is now. Note that I will myself be on
vacation from 17-Oct to 04-Nov and make the final launch afterwards. In
the meantime we have time for 2-3 release candidates.
This archive was generated by a fusion of
Pipermail (Mailman edition) and