Update ProofGeneral