Re: [isabelle] Isabelle2013-2-RC1 available for testing
On Tue, 26 Nov 2013, Julian Brunner wrote:
I just worked with Isabelle/jEdit for a few hours, during which it
became unresponsive about 20 times. The reason for becoming
unresponsive were mostly non-terminating proof methods (mostly force,
blast and auto), although in these cases the non-termination did not
lead to consumption of large amounts of memory like with 'intro
Thanks for testing.
I can reproduce the problem with Isabelle2013-2-RC1 -- there is still
something utterly wrong with the termination of running tasks. In
Isabelle2013-1 there was too much of it, now there is too little.
This archive was generated by a fusion of
Pipermail (Mailman edition) and