Update ProofGeneral to version 4.2