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

[Jasmin Blanchette]

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:

    http://textmate.1073791.n5.nabble.com/New-behavior-moving-cursor-pass-end-of-line-td16179.html

Jasmin