The Coq mailing list

[Edsko de Vries <devriese AT cs.tcd.ie>]

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