coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] compiling coq in windows

From: Amanda Phillander <mandy3ap AT yahoo.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] compiling coq in windows
Date: Sun, 17 Jun 2007 15:41:41 -0700 (PDT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=AWxuQDggxbDez3tqrChFRWSTvHhHkWIF9Udk9z/TdyKM3HyjVGsfsJpr5kjpiI3FL1yQHBG5x9U6LdeFcFnAeoGiUU+nrzME2E+X2FyOoDs+X0Siu28m76J/HTZ8E9OPX0xxM0g4i3IpbK2EkvgPZXU3Nz1fFNNvZH06aLK9CkM=;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

I recently started to use Coq, but can't seem to be able to compile my files in windows. Is anyone else using windows? And if so, can someone please say how they compile their files?

Thanks,

AP.

Ready for the edge of your seat? Check out tonight's top picks on Yahoo! TV.

[Coq-Club] compiling coq in windows, Amanda Phillander