[isabelle-dev] isabelle components -a does nothing

[Jasmin Christian Blanchette]

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.

Jasmin