coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] El-Get recipe for Proof General

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] El-Get recipe for Proof General
Date: Tue, 3 May 2016 08:40:03 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:WBVLGxQpNo7Is7RDJILLVWuJvdpsv+yvbD5Q0YIujvd0So/mwa64YBGN2/xhgRfzUJnB7Loc0qyN4/GmATRLus3JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuLO04T33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrtBST8iLmod5cvxtBCFQxHcyGEbVzA9lptNDg7Z2yn7QtK0mS/zq+Zw3GHONsn7SL0yRXK67rtDRxrhiSNBPDk8pjKEwvdshb5W9Ury7yd0xJTZNdmY

Hi there,

That's great. I don't use el-get, but I was the one who migrated Proof
General from a self-hosted CVS to github.
Is there a chance that you could (help me) make a recipe for company-coq,
too? See https://github.com/cpitclaudel/company-coq/

Thanks again for your help!
Clément.

On 2016-04-29 10:55, N. Raghavendra wrote:
> For those who use the el-get package installer for Emacs, I've added an
> el-get recipe for Proof General, which installs the current GitHub
> version of Proof General. The recipe is at
>
> https://raw.github.com/dimitri/el-get/master/recipes/proof-general.rcp
>
> There was an older ProofGeneral.rcp, which used to install version 4.2
> of Proof General. That recipe has been removed now.
>
> Cheers,
> Raghu.
>

Attachment: signature.asc
Description: OpenPGP digital signature

Re: [Coq-Club] El-Get recipe for Proof General, Clément Pit--Claudel, 05/03/2016
- Re: [Coq-Club] El-Get recipe for Proof General, N. Raghavendra, 05/04/2016
- Re: [Coq-Club] El-Get recipe for Proof General, N. Raghavendra, 05/04/2016
  - Re: [Coq-Club] El-Get recipe for Proof General, Clément Pit--Claudel, 05/05/2016