Got it, thanks. I was looking at the wrong thing. Yes, this is related to nothing in the test working properly at the moment.
Cheers, Gerwin On 09/11/2012, at 10:26 AM, Christian Sternagel <[email protected]> wrote: > Just follow the "Browse theories" link of any devel entry, e.g., > http://afp.sourceforge.net/browser_info/devel/HOL/Bondy/index.html > > cheers > > chris > > On 11/09/2012 06:59 AM, Gerwin Klein wrote: >> On 08/11/2012, at 6:57 PM, Christian Sternagel <[email protected]> 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 >> >> _______________________________________________ >> isabelle-dev mailing list >> [email protected] >> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev >> > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
