GoProof comments tab

GoProof comments tab