The Coq mailing list

[Beta Ziliani <beta AT mpi-sws.org>]

2011/12/28 Jérémie Koenig 
<jk AT jk.fr.eu.org>:
> On Wed, Dec 28, 2011 at 12:11 PM, Beta Ziliani 
>Â <beta AT mpi-sws.org>
>  wrote:
>> It's like if it's not taking COQTOP into account, although it is well set:
>>
>> $ ls $COQTOP
>> CHANGES        CREDITS      INSTALL.ide     Makefile         ...
>
> Possibly, you've forgotten to:
>
>  $ export COQTOP
>
> before you run coqtop?
>

Nope, this is what I wanted to say in my previous email: COQTOP is
defined properly. More precisely, echo $COQTOP shows the path to the
source files.