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
