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

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


 	Makarius




More information about the isabelle-dev mailing list