[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40299: [PATCH] gnu: Add emacs-company-coq.
|
From: |
Nicolas Goaziou |
|
Subject: |
bug#40299: [PATCH] gnu: Add emacs-company-coq. |
|
Date: |
Mon, 30 Mar 2020 14:38:44 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello,
John Soo <address@hidden> writes:
> Company-coq is indispensable when working in coq for me.
I slightly expounded the description and applied your patch as
f931d46ce3e342f53dee926d3cff70b081f58e5f.
Thank you!
Regards,
--
Nicolas Goaziou