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

Makarius makarius at sketis.net
Mon Dec 9 13:44:36 CET 2013

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 

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

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


More information about the isabelle-dev mailing list