[isabelle-dev] AFP devel not reachable

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Jul 20 23:49:52 CEST 2015

Sourceforge has been having a major outage since Thu (storage infrastructure failure).

They are expecting to be fully back up by mid week.

We’re looking into alternative hosting..


> On 20.07.2015, at 18:35, Christian Sternagel <c.sternagel at gmail.com> 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


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list