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
