Sorry for a question I should be able to find in the documentation, but I can't. Sometimes jedit stops asynchronously checking my proof and becomes a simple editor. It seems to happen when I have more than one view open. How do I start asynchronous checking again?
Ps If you want me to learn to fish instead of giving me a fish, please tell me how I should have found it in the documentation!
You probably manage to stop the "continuous checking" (the checkbox in the theories panel)
Or it is a grey out. A grey out sometimes happens where the prover process hangs which is shown by the indicator on the right of the buffer being greyish red.
Last updated: Aug 13 2022 at 05:18 UTC