The Coq mailing list

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

OK, thanks for your trick, I found where the new version was hidden.  I 
have now two versions: the old one as  /opt/local/bin/coqtop  and the 
new one as /usr/local/bin/coqtop

But (like Benjamin) I use proof general, but unlike him, I use xemacs 
and the new coq does not work with proof general,  the well know problem 
of coding of xemacs.

I will try aquamacs

Pierre

Vincent Aravantinos a écrit :
> Hi
>
> Le 26 nov. 07 à 21:06, Pierre Lescanne a écrit :
>
> > 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.
>
> Don't know if Spotlight detects command-line tools... (actually it 
> doesn't detect my coqtop whereas it is installed) Unless you have a 
> plugin to make it do this ?
>
> Anyway, maybe you'd better do a:
>
> >sudo /usr/libexec/locate.updatedb
>
> It will ask your password, wait until you get the command back. Then do:
>
> >locate coqtop
>
> You'll see if there are multiple copies...
>
> HTH
> V.