coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benjamin Pierce <bcpierce AT cis.upenn.edu>
- To: Benjamin Werner <benjamin.werner AT inria.fr>
- Cc: avavrin <avavrin AT gmail.com>, coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] CoqIDE sous MacOSX PowerPC
- Date: Tue, 25 Sep 2007 08:23:04 -0400
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
I use proof-general with aquamacs and find this solution satisfying.
You may need to take a recent version of proof-general for not running
into troubles with utf-8 (the problem where coq seems not not respond;
check the older messages of the coq-club in that case)
In my experience, PG works very well with Aquamacs, but you definitely need the up-to-the-minute (developer) version of PG.
- Benjamin
- [Coq-Club] CoqIDE sous MacOSX PowerPC, avavrin
- Re: [Coq-Club] CoqIDE sous MacOSX PowerPC, Elie Soubiran
- Re: [Coq-Club] CoqIDE sous MacOSX PowerPC,
Benjamin Werner
- Re: [Coq-Club] CoqIDE sous MacOSX PowerPC, Benjamin Pierce
Archive powered by MhonArc 2.6.16.