[isabelle] Isabelle2013-2-RC3 available for testing

Dear Isabelle users,

this is still one more release candidate for the second attempt to make a stable release of Isabelle this autumn:


The good news is that no new problems have shown up, but I managed to find a solution to an old problem of external process management.

Notable changes versus Isabelle2013-2-RC2:

  * More robust termination of external processes managed by Isabelle/ML:
    support cancellation of tasks within the range of milliseconds, as
    required for PIDE document editing with automatically tried tools
    (e.g. Sledgehammer).

  * Clarified application icons and window titles -- more uniform on all

  * Minimal tuning of some Isabelle/jEdit GUI elements.

The final Isabelle2013-2 release should emerge after 2-3 days of further testing. This is the very last chance to point out serious drop-outs.

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


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