Dan Synek (Feb 08 2022 at 13:19): Dan Synek (Feb 08 2022 at 13:19):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!
Thanks
Mathias Fleury (Feb 08 2022 at 13:46):You probably manage to stop the "continuous checking" (the checkbox in the theories panel)
Lukas Stevens (Feb 08 2022 at 13:49):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: Apr 19 2024 at 01:05 UTC