[isabelle-dev] AFP devel broken (was AFP: Session AVL-Trees broken)
c-sterna at jaist.ac.jp
Fri Nov 9 00:26:24 CET 2012
Just follow the "Browse theories" link of any devel entry, e.g.,
On 11/09/2012 06:59 AM, Gerwin Klein wrote:
> 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev