[isabelle-dev] Towards the next Isabelle release

[Makarius]

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.


 	Makarius