[isabelle] Isabelle2013-1-RC2 available for testing

Dear Isabelle users,

another release candidate is available here:

Notable changes wrt. Isabelle2013-1-RC1:

  * Explicit binary executable even for Linux -- modern desktops no longer
    consider an executable script as executable to be clicked on.

  * Mac OS X Snow Leopard is de-facto discontinued.  Normally we support
    the 3 latest Mac OS X versions, and Mavericks is not available yet,
    but current versions of Java 7 and jEdit appear to have fundamental
    problems with this old operating system that Oracle never intended to
    support in the first place.

  * Various re-adjustments in the dynamics of Sledgehammer, both the
    implicit "auto" mode and the explicit GUI panel.

See also https://bitbucket.org/isabelle_project/isabelle-release for the main website where the final stage before Isabelle2013-1 is organized. There is also a link to an issue tracker on the same Bitbucket site.

Observations from testing release candidates may be discussed here on isabelle-users (not isabelle-dev), on the bitbucket tracker, or via private mail.


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