Re: [isabelle] Web site is down?






Le 27/01/12 15:08, Thomas Genet a écrit :



Le 27/01/12 15:05, Steven Obua a écrit :
I think the url is wrong. It should be documentation.html, not just
documentation

True, but it was the url given by the "Documentation" tab of the
Isabelle UK site :-)

Now it works again...


Thanks a lot Larry for fixing it!

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.