[isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails

[Salomon Sickert]

> When there is a problem there are two possibilities:
> 
> (1) Someone who understands the relevant part of the system knows what needs to be done. This is the case here, see now c35012b86e6f.

Thank you. It works now as expected.

> (2) If nobody has concrete ideas, Mercurial allows to make empiric studies of the history via bisection.
> 
> The history is the "proof" for the state of the sources. This is why it is important to keep the history clean and easy to understand -- after months, years, decades.

Let me rephrase my question: I wanted to know, if there is a way to get something more helpful from Isabelle/jEdit, like a stack trace or a debug log. 

Best,
Salomon