Re: [isabelle] Isabelle2013-1-RC1 available for testing
I find that on my machine (running the notorious 64bit Fedora 19 with
Gnome) when using the Sledgehammer panel, very often (it feels like the
majority of cases) after clicking "Apply", "Cancel" has no effect (the
whole buffer is grayish highlighted). In such cases sometimes clicking
"Apply" again actually cancels the ATPs, but sometimes only restarting
Isabelle/jEdit helps (or maybe I would have to wait longer than 1 minute).
On 10/03/2013 08:01 PM, Makarius wrote:
Dear Isabelle users,
the Isabelle2013-1 release is scheduled for November 2013. Before
actual lift-off we have approx. 5 weeks of public testing of release
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 website with downloads etc. is
Observations from testing release candidates may be discussed here on
isabelle-users (not isabelle-dev), on the bitbucket tracker, or via
Active participation in testing is important to iron out small problems,
and raise the overall quality of the system for everybody. There is a
particular challenge to make all platforms work smoothly: Linux,
Windows, Mac OS X. The Isabelle quality standards and user expectations
have continously increased in recent years, while all major operating
system vendors and distributors are on a slight downwards curve.
The time to sort out issues is now. Note that I will myself be on
vacation from 17-Oct to 04-Nov and make the final launch afterwards. In
the meantime we have time for 2-3 release candidates.
This archive was generated by a fusion of
Pipermail (Mailman edition) and