[isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails
makarius at sketis.net
Wed Mar 30 11:47:19 CEST 2016
On Wed, 30 Mar 2016, Salomon Sickert wrote:
> 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.
There is no uniform way to do it. It depends on the subsystem where the
problem occurs: Isabelle/jEdit/PIDE/Scala/ML etc.
Event just for Isabelle/ML it is often faster to make induction over the
history (via hg bisect) to find the spot where odd behaviour appears
More information about the isabelle-dev