Re: [isabelle] Announcing Isabelle2013-2

On Fri, 6 Dec 2013, Makarius wrote:

Isabelle2013-2 is now available.

This version supersedes Isabelle2013-1, which in turn consolidated
Isabelle2013 and introduced numerous improvements.

Thanks to everybody who participated in the second round of testing.

Don't forget to dispose your local copies of any "RC" versions, and update to the proper release.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.