portsurvey log for http://isabelle.in.tum.de

< http://isabelle.in.tum.de 500 read timeout
> http://isabelle.in.tum.de/dist/Isabelle2008.tar.gz ok
> http://isabelle.in.tum.de/dist/Isabelle2008_library.tar.gz ok
> http://isabelle.in.tum.de/dist/Isabelle2008_pdf.tar.gz ok