Update history.tex