ide/session: Add a command that resets all proofs from a session
Compare changes
+ 19
− 0
@@ -2140,6 +2140,25 @@ let (_ : GMenu.menu_item) =
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.