Re: [isabelle] Web site is down?



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.