[isabelle-dev] Towards the next Isabelle release

[Jasmin Christian Blanchette]

Am 03.06.2010 um 18:55 schrieb Makarius:

> Test 0 is now available here: http://www4.in.tum.de/~wenzelm/test/isabelle

When clicking the link, I get a 403 error:

    You don't have permission to access /~wenzelm/test/isabelle on this server.

Jasmin