coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "N. Raghavendra" <raghu AT hri.res.in>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] El-Get recipe for Proof General
Date: Thu, 05 May 2016 02:11:00 +0530
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=raghu AT hri.res.in; spf=Pass smtp.mailfrom=gsmlcc-coq-club AT m.gmane.org; spf=Pass smtp.helo=postmaster AT plane.gmane.org
Cancel-lock: sha1:NlECsSm+h1HfAqehCoVkFUSj+HQ=
Ironport-phdr: 9a23:HaoZwx9ObXt8OP9uRHKM819IXTAuvvDOBiVQ1KB92+gcTK2v8tzYMVDF4r011RmSDdSds6gP0reP+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U1578jr3rs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7RuAHHXDeIszE6FC0smxVIChbI6h3gV9255jHzuepg8CmAPIvsQKtyWDL0vIlxTxq9wgFBfwQw/2HelMF2gLhS6lr1vRVww5P8YJuUcuBzZeXce4VJFiJ6Qs9NWnkZUcuHZIwVAr9ZMA==

At 2016-05-03T08:40:03-04:00, Clément Pit--Claudel wrote:

> Hi there,
>
> Is there a chance that you could (help me) make a recipe for
> company-coq, too? See https://github.com/cpitclaudel/company-coq/

I've submitted a PR to el-get:

https://github.com/dimitri/el-get/pull/2380

The submitted recipe file is at

https://raw.github.com/nyraghu/el-get/company-coq/recipes/company-coq.rcp

I've tested it successfully with el-get's recipe testing scripts, and
have installed it on my machine. I've also tried a bit of the tutorial,
which, by the way, is quite nice!

Cheers,
Raghu.

--
N. Raghavendra
<raghu AT hri.res.in>,
http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/

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