ide/session: Add a command that resets all proofs from a session
This command is added only in the Tools menu. It is not in the context menu and it cannot be called from the command line. Calling this will trigger a popup to prevent users mistake.
This command is added only in the Tools menu. It is not in the context menu and it cannot be called from the command line. Calling this will trigger a popup to prevent users mistake.