[isabelle-dev] Towards the next Isabelle release

Makarius makarius at sketis.net
Fri Jun 4 17:22:22 CEST 2010

On Fri, 4 Jun 2010, Jasmin Christian Blanchette wrote:

> 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.

It should work again at this moment.

Right now there are too many things going on at the same time, such as 
updating the content and tweaking the website build scripts.


More information about the isabelle-dev mailing list