To compare (a proof) with a previous proof of the same matter, and mark again such errors as have not been corrected in the type.