[isabelle-dev] NEWS: Isabelle/jEdit (19e1c6e922b6)

Makarius makarius at sketis.net
Sun Sep 18 17:05:53 CEST 2011

On Tue, 13 Sep 2011, Lars Noschinski wrote:

> I was irritated when Isabelle/jEdit complained about missing theory 
> files, when the files where obviously there (and loaded). Later I found 
> out, that this error is also displayed if there are any errors 
> (transitively) in these theory files.

Did you see the panel "Prover Session / Theory Status"?  It provides some 
overview over the whole session.  In Isabelle/a04f3eb3943c it works more 
smoothly, although I need to defer even more refinements until after the 


More information about the isabelle-dev mailing list