Re: [isabelle-dev] AFP devel not reachable

2015-07-20 Thread David Cock
Apparently they had a storage system issue, and obviously didn't have a tested recovery plan. At this point, the sooner everybody moves off of Sourceforge, the better. David On 20/07/15 11:26, Makarius wrote: On Mon, 20 Jul 2015, Christian Sternagel wrote: http://afp.sourceforge.net/ seems

[isabelle-dev] AFP devel not reachable

2015-07-20 Thread Christian Sternagel
Dear all, http://afp.sourceforge.net/ seems to be down. Just out of curiosity: Does anyone know for how long and why? -cheers chris ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] AFP devel not reachable

2015-07-20 Thread David Cock
All of sourceforge has been down for about a week at this point. It seems as though the proverbial has hit the fan. David On 20/07/15 10:35, Christian Sternagel wrote: Dear all, http://afp.sourceforge.net/ seems to be down. Just out of curiosity: Does anyone know for how long and why?

Re: [isabelle-dev] AFP devel not reachable

2015-07-20 Thread Bertram Felgenhauer
David Cock wrote: Apparently they had a storage system issue, and obviously didn't have a tested recovery plan. There's some more information here: http://sourceforge.net/blog/sourceforge-infrastructure-and-service-restoration/ In short, they are working on it, and interestingly, they are