[isabelle-dev] Isabelle2013-2 release
nipkow at in.tum.de
Thu Nov 21 14:34:51 CET 2013
Am 20/11/2013 22:49, schrieb Makarius:
> Are there any other potential problems of Isabelle2013-1 that were not reported yet?
I don't know if the attached has been reported or not, but I had to quit
Isabelle/jedit because it got stuck. This happened more often in the past, today
I have had it again. Further symptoms: poly runing 200%, no prover running, when
I click on s/h the little wheel is turning slowly, but the panel is and stays empty.
parent: 54508:4bc48d713602 tip
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2013-11-21 at 14.28.27.png
Size: 164370 bytes
Desc: not available
More information about the isabelle-dev