Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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/




Archive powered by MHonArc 2.6.18.

Top of Page