coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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: Wed, 04 May 2016 16:26:13 +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:2PtWSRtc65a0EEbqtYQBOx+3jAE=
- Ironport-phdr: 9a23:KdZ3Lx0SVDD19KQysmDT+DRfVm0co7zxezQtwd8ZsegeKPad9pjvdHbS+e9qxAeQG96LurQc0qGP6PqocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLvjqvroMebSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK79ZuEzSaFSJDUgKWE8osPx5iPOVQ+e2nxJGENQ2iBBDAjM8hz8Uo34+GOurONy2DSyPdf3C6o5QnKj6fE4ZgXvjXJNEXhxymjYisVugaRXuhvr70hlyoHUfamVLvs4ZK7GO9IcEzkSFv1NXjBMV9vvJ7AECPAMaL5V
At 2016-05-03T08:40:03-04:00, Clément Pit--Claudel wrote:
> 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.
Thanks. I know, in fact I referred to your Coq Club message about it in
my pull request to el-get!
https://github.com/dimitri/el-get/pull/2374#issue-150956380
> Is there a chance that you could (help me) make a recipe for
> company-coq, too? See https://github.com/cpitclaudel/company-coq/
Certainly, I'll do it later today, and let you know. On a side note, I
haven't yet started using company-coq, but have read good things about
it, so it's time I started to use it. Thanks for all the work!
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
Archive powered by MHonArc 2.6.18.