Delete revision.tex