coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] UNABLE TO ACCESS TUTORIAL

chronological Thread

From: Denis Cousineau <cousineau AT lix.polytechnique.fr>
To: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] UNABLE TO ACCESS TUTORIAL
Date: Mon, 20 Oct 2008 11:15:47 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi Sachin,

you can have a look on the tutorial in the new website : http://logical.saclay.inria.fr/coq/?q=node/8

Please send a mail to webmaster AT logical.saclay.inria.fr, next time for similar problems.

On 18 oct. 08, at 11:57, sachin!! wrote:

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. <**

Denis Cousineau

http://www.denis.cousineau.eu

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