coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] UNABLE TO ACCESS TUTORIAL

From: sachin!! <sachinvasudev AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] UNABLE TO ACCESS TUTORIAL
Date: Sat, 18 Oct 2008 17:57:11 +0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type; b=bj/N3xBr2p/Ks/bTiU8mtDFgvdHYh6N2SO1DH0u6dRTJ7iYB1bWbUcGmUkvdoVb51T Glc1+sMt7A/xkgyya6sM9m3OCJaypsrzskURb2YLmfFN9cIoxv9o/O1TDAbMPrFDuzrX aOOrZ4TMuBl9seY91xQXI4fqv2wA0kOTR+4E0=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi i'm unable to access the Coq tutorial at

http://coq.inria.fr/V8.1/tutorial.html.

Regards,
Sachin Vasudev
--
**> Never let a computer see you hurry. <**

[Coq-Club] UNABLE TO ACCESS TUTORIAL, sachin!!
- Re: [Coq-Club] UNABLE TO ACCESS TUTORIAL, Denis Cousineau