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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
