[isabelle-dev] isabelle components -a does nothing

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Sep 4 13:57:06 CEST 2012

Am 04.09.2012 um 13:31 schrieb Jasmin Blanchette:

> Going to
>    http://isabelle.in.tum.de/components/
> prints
>    Not Found
>    The requested URL /components/ was not found on this server.

OK, the web site seems to be up now. Forget my email.


More information about the isabelle-dev mailing list