Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X


chronological Thread 
  • From: Benjamin Werner <benjamin.werner AT inria.fr>
  • To: pierre.lescanne AT ens-lyon.fr
  • Cc: coq-club AT pauillac.inria.fr
  • Subject: Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X
  • Date: Tue, 27 Nov 2007 09:25:51 +0100
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=received:cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; b=AxBaw0uteFj7tcK5R/TAvRUtmcwgdeS0YMj5WdYo9vjRtVA+R/s+a68QGW63mb3frT1xEmhcc3Zl7xFjTXluuLr2hpxiZYHfmbvOG/7rngKSbpCMhlIpEezLJBqlOmXvEf26IS57qZ3copV061MVVNQiO7dNSla2WmL3BrUDrJ8=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi Pierre,

Are you using Leopard ? I think the OS X packages are not upgraded to 10.5 yet.

Btw, for my taste, a good combination for the mac is proof-general on aquamacs.


Best,

Benjamin

Le 26 nov. 07 à 14:30, Pierre Lescanne a écrit :

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.

Pierre Lescanne


--------------------------------------------------------
Bug reports: http://logical.futurs.inria.fr/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
        http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club



Archive powered by MhonArc 2.6.16.

Top of Page