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

Salomon Sickert sickert at in.tum.de
Wed Mar 30 11:12:49 CEST 2016

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


More information about the isabelle-dev mailing list