Hello, Alan Schmitt <alan.schm...@polytechnique.org> 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. Regards, -- Nicolas Goaziou
