./ProofGeneral-4.2.tgz already exists, skipping download
./ProofGeneralPortrait.eps.gz already exists, skipping download
Getting http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz to ./ProofGeneral-4.2.tgz
Getting http://proofgeneral.inf.ed.ac.uk/ProofGeneralPortrait.eps.gz to ./ProofGeneralPortrait.eps.gz