[isabelle-dev] AFP devel not reachable

[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 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