Mentions légales du service

Skip to content

itp_server: make attempt on detached goal appear detached

DAILLER Sylvain requested to merge fix_correct_on_detached into master

This prevents having valid proof attempt under detached goals in the IDE.

Edited by DAILLER Sylvain

Merge request reports