[isabelle-dev] Isabelle/jEdit doesn't process theories
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
More information about the isabelle-dev