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
TrueE'.

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.


	Makarius




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