Am 25.09.2013 um 13:03 schrieb Makarius <[email protected]>:
> 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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
