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

Jasmin Blanchette jasmin.blanchette at gmail.com
Wed Sep 25 13:06:49 CEST 2013

Am 25.09.2013 um 13:03 schrieb Makarius <makarius at sketis.net>:

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

Indeed, this is exactly what happened. Perhaps it's one of those options that should not be remembered across sessions?

This reminds me of this little very similar story:



More information about the isabelle-dev mailing list