New on CTAN: proof-at-the-end