[isabelle] 404 in AFP



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




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