Delete proposal-2013-rev4.tex~HEAD