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 holding restoration of SCM services off until last... > At this point, the sooner everybody moves off of > Sourceforge, the better. It'd also be nice to have a mirror of the repository, regardless of where it's hosted. Cheers, Bertram _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
