editsEdits2proof