Can someone explain me why ltxmisc/proof.sty is gone? 'cause it's not in CTAN:macros/latex/misc any more. I see there is a separate proof package now, I'll see about adding that. and several other files are deleted, too. Can you find them on CTAN for me, please, and I'll see about adding them? Thanks.