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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
