Re: [isabelle] Web site is down?



It must be in Cambridge only. At the TUM site, it is up!

On Fri, Jan 27, 2012 at 11:00 AM, Thomas Genet <Thomas.Genet at irisa.fr>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<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 <http://www.irisa.fr/celtique/genet>
>
>


-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Porto Alegre - RS - Brasil




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