[isabelle] Isabelle2013-RC3 available for testing
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
* 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