coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yves Bertot <Yves.Bertot AT sophia.inria.fr>
- To: Edsko de Vries <edskodevries AT gmail.com>
- Cc: coq-club <coq-club AT pauillac.inria.fr>
- Subject: Re: [Coq-Club] Compile failure on Mac OS X
- Date: Thu, 09 Jul 2009 16:10:44 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
I don't understand why you say you have a trouble compiling coq. test.ml4 is not a source file of the coq distribution. Is it?
Yves
- [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Re: [Coq-Club] Compile failure on Mac OS X, Yves Bertot
- Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Re: [Coq-Club] Compile failure on Mac OS X,
Arnaud Spiwack
- Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Message not available
- Message not available
- Message not available
- Message not available
- Re: [Coq-Club] Compile failure on Mac OS X, Yves Bertot
Archive powered by MhonArc 2.6.16.