[isabelle-dev] AFP devel not reachable

David Cock david.cock at inf.ethz.ch
Mon Jul 20 10:36:20 CEST 2015

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


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 

More information about the isabelle-dev mailing list