Compare Proof Revision AI-Agents for Publishing

Compare a revised proof with its earlier version and requested changes.