CTAN update: proof-at-the-end