Stream: Beginner Questions

Topic: How to toggle checking mode in a jedit view

view this post on Zulip 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!

view this post on Zulip Mathias Fleury (Feb 08 2022 at 13:46):

You probably manage to stop the "continuous checking" (the checkbox in the theories panel)

view this post on Zulip 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: Aug 13 2022 at 05:18 UTC