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

[Christian Sternagel]

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.

cheers
chris

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev