coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] import

From: AUGER Cédric <sedrikov AT gmail.com>
To: "Patricia Peratto" <psperatto AT adinet.com.uy>
Cc: "coqclub" < coq-club AT inria.fr>
Subject: Re: [Coq-Club] import
Date: Sun, 10 Jun 2012 11:13:52 +0200

Le Sat, 9 Jun 2012 18:16:40 -0300,
"Patricia Peratto"
<psperatto AT adinet.com.uy>
a écrit :

> I can not import the file Structures.Orders.
> Do someone of you know why?
> Regards
> Patricia Peratto

I guess you should provide more informations on your problems if you
expect an answer. At least, give the error message…

[Coq-Club] import, Patricia Peratto, 06/09/2012
- Re: [Coq-Club] import, AUGER Cédric, 06/10/2012
  - Re: [Coq-Club] import, Patricia Peratto, 06/10/2012
    - Re: [Coq-Club] import, David Pereira, 06/10/2012
    - Re: [Coq-Club] import, Marko Maliković, 06/10/2012
- <Possible follow-up(s)>
- [Coq-Club] import, Patricia Peratto, 06/10/2012