[isabelle-dev] Spurious problems with webserver http://isabelle.in.tum.de

[Makarius]

In the past few days, there have been several incidents with the 
webserver for http://isabelle.in.tum.de

On Friday, Saturday, Sunday there were occasionally broken downloads of 
http://isabelle.in.tum.de/dist/Isabelle2013-2_linux.tar.gz or 
http://isabelle.in.tum.de/dist/Isabelle2013-2.exe -- which was detected by 
tar or 7zip complaining about bad checksums.

Today http://isabelle.in.tum.de/repos and http://isabelle.in.tum.de were 
inaccesible at some point, but it worked spontaneously again after waiting 
20min.


We have had web server problems already a few months ago.

Did anybody have further discussions about that with the local admins?


 	Makarius