Delete 7.2.tex~