The Coq mailing list

[Pierre Lescanne <pierre.lescanne AT ens-lyon.fr>]

Edsko de Vries a écrit :
> On Mon, Nov 26, 2007 at 02:30:59PM +0100, Pierre Lescanne wrote:
>   
> > I tried to update Coq on my Mac OS (intel) by downloading  
> > Coq_V8.1pl2_i386.pkg and installing it. Everything went fine till the 
> > end with no error message, but eventually Coq was not installed.
> >
> > I had just to go back to my Darwin installation which has only the 
> > version 8.0pl3.
> >     
>
> Just a wild guess here, but it often happens when I install stuff on Mac
> OS X that it installs to a different location than a previous version of
> the software, so that when I try to run it, it still runs the old
> version because its location happens to be earlier in my PATH (or the
> installation location of the new version may not be in the PATH at all).
> May or may not be helpful :)
>
> Edsko
>   
Spotlight shows no "coqtop" or file like that, when the previous version 
has been uninstalled.

Pierre