[isabelle-dev] Towards the next Isabelle release

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Fri Jun 4 17:06:44 CEST 2010


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




More information about the isabelle-dev mailing list