Re: [isabelle] 404 in AFP



Iâm in the process of releasing AFP-2016, and something seems to have gone wrong over night. Am looking at it.

Cheers,
Gerwin



> On 23 Feb 2016, at 5:28 AM, Manuel Eberl <eberlm at in.tum.de> wrote:
>
> Hallo,
>
> I just noticed that accessing any part of an AFP project on http://http://afp.sourceforge.net/ gives me a 404, except for the tarball itself ("Download this entry"). Everything else (e.g. "Proof outline", "Browse theory") gives me a 404 in all entries that I tested.
>
> What's going on there? Did these things not get built after the release?
>
> Manuel
>


________________________________

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.


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