[isabelle-dev] AFP devel broken

Gerwin Klein gerwin.klein at nicta.com.au
Sun Dec 16 23:50:53 CET 2012

It now finally works again.

The problem embarrassingly was that we forgot to add the entry to the list of sessions in thys/ROOTS. We should probably generate that file automatically in the future for AFP.


On 29/11/2012, at 11:47 PM, Christian Sternagel <c-sterna at jaist.ac.jp> wrote:

> On 11/09/2012 12:26 AM, Christian Sternagel wrote:
>> Just follow the "Browse theories" link of any devel entry, e.g.,
>> http://afp.sourceforge.net/browser_info/devel/HOL/Bondy/index.html
> As far as I can tell the problem still remains. Is it known in the meantime what the problem is?
> cheers
> chris
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list