coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] proofgeneral and coq cvs (main)

From: Pierre Courtieu <Pierre.Courtieu AT univ-orleans.fr>
To: Pierre Courtieu <Pierre.Courtieu AT univ-orleans.fr>
Cc: Coq Club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club] proofgeneral and coq cvs (main)
Date: Wed, 20 Apr 2005 20:23:11 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On 20 avr 2005, Pierre Courtieu wrote:

> Hi,
>
> Here is a patch to make proofgeneral work with cvs version of coq (>
> today). Apply it on last development release of PG, and don't forget to
> delete coq/coq.el after patching.

Sorry, I meant coq/coq.elc.
P.

> Cheers,
>
> Pierre Courtieu

[Coq-Club] proofgeneral and coq cvs (main), Pierre Courtieu
- Re: [Coq-Club] proofgeneral and coq cvs (main), Pierre Courtieu
- Re: [Coq-Club] proofgeneral and coq cvs (main), Pierre Courtieu