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: Wed, 4 May 2016 18:45:58 -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:MlIf3Rd1+Jqr5eg6l/frcuALlGMj4u6mDksu8pMizoh2WeGdxc6+YR7h7PlgxGXEQZ/co6odzbGG4ua4AidZsd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcWIKFwYzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzSqUdBzA7OUg04tfqvF/NV1ih/HwZB04SEx9FBRTy1BDmG9LatiLnuud5kH2ROcDzQLYoHyyj849kTRbpjGEMMDtvozKfsdB5kK8O+EHpnBd42YOBOIw=

On 2016-05-04 16:41, N. Raghavendra wrote:
> 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!

Wonderful, thanks a lot!

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