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

[Gerwin Klein]

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 <c-sterna at jaist.ac.jp> 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 <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.
>> 
>> Cheers,
>> Gerwin
>> 
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>