On 2016-02-10 13:13, Nicolas Goaziou <mail@nicolasgoaziou.fr> writes:

>> Here is a small patch cleaning up ob-coq.
>
> Thank you.
>
>>   (org-babel-coq-initiate-session): use `coq-program-name'
>
> Nitpick: missing capital and full stop.
>
> Nothing else to say.

Applied with this change in the commit message.

Best,

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂ (2016-01, Mauna Loa Obs.): 402.52