portsurvey log for http://mirror.cse.unsw.edu.au

< http://mirror.cse.unsw.edu.au/pub/isabelle/dist/Isabelle2008.tar.gz 500 Server closed connection without sending any data back
> http://mirror.cse.unsw.edu.au/pub/isabelle/dist/Isabelle2008_library.tar.gz ok
> http://mirror.cse.unsw.edu.au/pub/isabelle/dist/Isabelle2008_pdf.tar.gz ok