PS bear in mind the top of http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1/CHANGES which warns exactly about this! -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.