[isabelle-dev] AFP devel not reachable
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
More information about the isabelle-dev