Re: [isabelle] Announcing Isabelle2013-1

On Tue, 12 Nov 2013, Makarius wrote:

Isabelle2013-1 is now available.

Special thanks to anybody who participated in the final testing of release candidates.

Seasoned users are especially encouraged to try out the new toplevel application wrapper that is available on all platforms, without requiring a command line.


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