[isabelle] Isabelle2013-RC2 available for testing

Dear all,

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 http://isabelle.in.tum.de/website-Isabelle2013-RC2

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 MHonArc.