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