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

Christian Sternagel c-sterna at jaist.ac.jp
Thu Nov 8 08:57:05 CET 2012

Previous message (by thread): [isabelle-dev] AFP: Session AVL-Trees broken
Next message (by thread): [isabelle-dev] AFP devel broken (was AFP: Session AVL-Trees broken)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] AFP: Session AVL-Trees broken
Next message (by thread): [isabelle-dev] AFP devel broken (was AFP: Session AVL-Trees broken)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list