Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 404 in AFP


view this post on Zulip Email Gateway (Aug 22 2022 at 12:42):

From: Manuel Eberl <eberlm@in.tum.de>
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

view this post on Zulip Email Gateway (Aug 22 2022 at 12:42):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
I’m in the process of releasing AFP-2016, and something seems to have gone wrong over night. Am looking at it.

Cheers,
Gerwin


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.


Last updated: Mar 28 2024 at 20:16 UTC