[isabelle-dev] AFP devel not reachable

Bertram Felgenhauer bertram.felgenhauer at googlemail.com
Mon Jul 20 13:20:28 CEST 2015

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:


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.



More information about the isabelle-dev mailing list