> 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev