[isabelle-dev] AFP devel not reachable

[David Cock]

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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev 
>