[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
This archive was generated by a fusion of
Pipermail (Mailman edition) and