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

From: Santiago Zanella <Santiago.Zanella AT sophia.inria.fr>
To: 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 13:33:51 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

In the ProofGeneral website there is a wiki that may be of interest for
Mac users: http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsOnMacOSX ;.

I run ProofGeneral on Mac OS X 10.4 using Carbon XEmacs and I'm more
than satisfied (I only had to give up the ProofGeneral toolbar, which I
don't use anyway). I also tried ProofGeneral on Emacs 22.1.1 (built from
source) and it works smoothly. In both cases I used a development
version of ProofGeneral, namely 3.6pre060924.

[Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Pierre Lescanne
- Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Edsko de Vries
  - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Pierre Lescanne
    - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Vincent Aravantinos
      - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Pierre Lescanne
- Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Benjamin Werner
  - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Stefan Monnier
    - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Benjamin Werner
- <Possible follow-ups>
- Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Santiago Zanella