[isabelle-dev] NEWS: Isabelle/jEdit (19e1c6e922b6)
noschinl at in.tum.de
Mon Sep 19 09:50:59 CEST 2011
On 18.09.2011 17:05, Makarius wrote:
> 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.
Yes, it's pretty useful. But at the I had above problem, it did not yet
display the status in a way readable for the uninitiated ;)
More information about the isabelle-dev