The Coq mailing list

[anoun AT labri.fr]

Hi all,
I have an application in Coq which is composed of several directories, I want 
to
know how we can load all the paths of the different directories so that we 
will
be able to export easily different files...
For instance, if we assume that we have two directories der1 der2, where der1
contains file1 and file2 and dir2 contains file3 which needs to export 
file1...

file3:
Require Export file1.
.....


Should we add in the beginning of all files the command 'Add LoadPath ".."?? 
Or
is there a more elegant solution with the interface coqide?
Thanks a lot for your help
Houda

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.