Use cvs ProofGeneral