[isabelle] Web site is down?





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.