[isabelle] Isabelle2013-1-RC3 available for testing
Dear Isabelle users,
here is another release candidate:
Notable changes wrt. Isabelle2013-1-RC2:
* Minor tuning of Isabelle/HOL library and tools.
* Minor tuning of some Isabelle/jEdit GUI aspects.
* More documentation for Isabelle/jEdit.
* More robust socket IO between Isabelle/ML and Isabelle/Scala
(relevant for Windows).
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
I am on vacation from 17-Oct-2013 to 04-Nov-2013. When I return I will
pick up all loose threads on isabelle-users and the bitbucket tracker, and
head on towards the final release.
This archive was generated by a fusion of
Pipermail (Mailman edition) and