Skip to Content.
Sympa Menu

coq-club - [Coq-Club] UNABLE TO ACCESS TUTORIAL

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] UNABLE TO ACCESS TUTORIAL


chronological Thread 
  • 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. <**



Archive powered by MhonArc 2.6.16.

Top of Page