[isabelle] Isabelle2013-RC2 available for testing
this is one more step towards the Isabelle2013 release in mid-February.
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 main Isabelle2013-RC2 download page is
Observations from testing release candidates may be discussed here on
isabelle-users, on the bitbucket tracker, or via private mail.
This archive was generated by a fusion of
Pipermail (Mailman edition) and