[isabelle-dev] Isabelle2013-2 release

Tobias Nipkow 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
Type: image/png
Size: 164370 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20131121/03c5a19b/attachment-0002.png>

More information about the isabelle-dev mailing list