Mentions légales du service

Skip to content

ide/session: Add a command that resets all proofs from a session

DAILLER Sylvain requested to merge issue_295 into master

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.

Merge request reports