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 to be down. Just out of curiosity:
Does anyone know for how long and why?
Because Sourceforge sucks?
We know that already for many years, and are still dependent on it.
Problems can be solved early, when they become known for the first time.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
