[isabelle] Isabelle2013-RC3 available for testing

Dear all,

this is presumably the last release candidate for the Isabelle2013 that is anticipated next week.

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-RC3 download page is http://isabelle.in.tum.de/website-Isabelle2013-RC3

  * Windows users: please check again that it all works.  Former problems
    with Cygwin file permissions should no longer happen.

  * Mac OS X users: please check if you can quit Isabelle/jEdit properly.
    There is now a handler for COMMAND-Q according to Apple, but it might
    be in conflict with Oracle.

  * Everybody: please check if you can scale the Isabelle/jEdit font-size
    up and down like in Firefox (C-PLUS/MINUS or C-ADD/SUBTRACT on the

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.