Re: [isabelle] Web site is down?



I have patched the index page, so it works for the moment.

No idea why the mirror script isn't working any more.

Larry Paulson


On 27 Jan 2012, at 14:05, Steven Obua wrote:

> I think the url is wrong. It should be documentation.html, not just documentation
> 
> Cheers,
> Steven
> 
> On 27.01.2012, at 13:00, Thomas Genet wrote:
> 
>> 
>> 
>> Dear all Isabelle users,
>> 
>> it seems that the "documentation" part of the web site is down (since yesterday):
>> 
>> http://www.cl.cam.ac.uk/research/hvg/isabelle/documentation
>> 
>> is "Not found"
>> 
>> Best regards,
>> 
>> Thomas
>> -- 
>> Thomas Genet
>> ISTIC/IRISA
>> Campus de Beaulieu, 35042 Rennes cedex, France
>> Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr
>> http://www.irisa.fr/celtique/genet
>> 
> 
> 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.