[isabelle-dev] AFP devel broken (was AFP: Session AVL-Trees broken)

Gerwin Klein kleing at cse.unsw.edu.au
Thu Nov 8 22:59:36 CET 2012


On 08/11/2012, at 6:57 PM, Christian Sternagel <c-sterna at jaist.ac.jp> wrote:

> Maybe related: since at least 2 days I get an "Error 404" whenever I want to browse the theories of entries in the development version of the AFP.

Which URLs are you trying?

The devel pages load for me, although some of them have a broken status message.

Cheers,
Gerwin




More information about the isabelle-dev mailing list