[isabelle-dev] AFP devel not reachable

[David Cock]

All of sourceforge has been down for about a week at this point.  It 
seems as though the proverbial has hit the fan.

David

On 20/07/15 10:35, Christian Sternagel wrote:
> Dear all,
>
> http://afp.sourceforge.net/ seems to be down. Just out of curiosity: 
> Does anyone know for how long and why?
>
> -cheers
>
> chris
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev 
>