[isabelle-dev] Spurious problems with webserver http://isabelle.in.tum.de
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.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