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.

cheers

chris

_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to