Update .emacs for Proof General