portsurvey log for http://www.cl.cam.ac.uk

> http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/Isabelle2008.tar.gz 301 Moved Permanently - new location: http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2008.tar.gz - ok
> http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/Isabelle2008_library.tar.gz 301 Moved Permanently - new location: http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2008_library.tar.gz - ok
> http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/Isabelle2008_pdf.tar.gz 301 Moved Permanently - new location: http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2008_pdf.tar.gz - ok
> http://www.cl.cam.ac.uk/~mgk25/download/jbigkit-1.6.tar.gz ok
> http://www.cl.cam.ac.uk/~mgk25/jbigkit/ ok