[isabelle-dev] Isabelle/jEdit doesn't process theories

Makarius makarius at sketis.net
Wed Sep 25 13:03:51 CEST 2013


On Wed, 25 Sep 2013, Jasmin Christian Blanchette wrote:

> Isabelle/jEdit is currently unwilling to process theories

> The file is correctly opened, but nothing is processed -- no imports are 
> processed, the theory text has a pink background, etc.

I think you have merely disabled "Continuous checking" by accident.  So 
this is another instance of the "two many modes" problem.

These days I have quite often the Theories panel on, where this status is 
directly visible.


 	Makarius



More information about the isabelle-dev mailing list