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

[Makarius]

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 
release.


 	Makarius