coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] import

From: "Patricia Peratto" <psperatto AT adinet.com.uy>
To: "coqclub" < coq-club AT inria.fr>
Subject: Re: [Coq-Club] import
Date: Sun, 10 Jun 2012 12:35:16 -0300

The error message is: Cannot find library Orders in loadpath

Regards,
Patricia
----- Original Message ----- From: "AUGER Cédric" <sedrikov AT gmail.com>
To: "Patricia Peratto"
<psperatto AT adinet.com.uy>
Cc: "coqclub" <
coq-club AT inria.fr>
Sent: Sunday, June 10, 2012 6:13 AM
Subject: Re: [Coq-Club] import

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