portsurvey log for http://proofgeneral.inf.ed.ac.uk

> http://proofgeneral.inf.ed.ac.uk ok
> http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1.tgz ok