[isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails
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