Undo local changes

git checkout -- p4proposal.tex