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.. Cheers, Gerwin > On 20.07.2015, at 18:35, Christian Sternagel <c.sterna...@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-...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
