Mentions légales du service

Skip to content

Do not try to move proof attempts to a non-existent prover (fix #553).

Guillaume Melquiond requested to merge fix-553 into master

This commit also includes various aesthetic improvements to the dialog box.

Merge request reports