The Coq mailing list

[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?

-- 
Jérémie Koenig 
<jk AT jk.fr.eu.org>
http://jk.fr.eu.org/