[isabelle-dev] Isabelle2013-2 release
makarius at sketis.net
Fri Nov 22 14:23:34 CET 2013
On Thu, 21 Nov 2013, Tobias Nipkow wrote:
> 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.
On the screenshot I see the text area rendering according to jEdit (funny
purple for quoted strings), but without the semantic rendering by
Isabelle/jEdit. This could mean some total failure of existance of some
add-on GUI components. Normally, there should have been some JVM
exception trace on stderr -- this is only visible when running "isabelle
jedit" from the terminal -- or maybe via the jEdit menu "Utilities /
Troubleshooting / Activity Log" (which is very verbose).
The slowly spinning sledgehammer wheel means "Waiting" (after the query
operation was sent). When it stays like that indefinitely, it could mean
that the prover process is somehow stuck. This theory is in conflict with
the GUI crash theory, though.
More information about the isabelle-dev