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.
Cheers, Gerwin On 29/11/2012, at 11:47 PM, Christian Sternagel <[email protected]> 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 > [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
