[isabelle-dev] AFP devel not reachable

David Cock david.cock at inf.ethz.ch
Mon Jul 20 11:32:22 CEST 2015

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.


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 

More information about the isabelle-dev mailing list