[isabelle] Fwd: [isabelle-dev] AFP devel not reachable



This is probably of interest to isabelle-users as well.

Cheers,
Gerwin

> 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.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.
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.