From mboxrd@z Thu Jan  1 00:00:00 1970
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Subject: Re: [PATCH] ob-coq cleanup
Date: Wed, 10 Feb 2016 13:13:40 +0100
Message-ID: <87pow4oj9n.fsf@nicolasgoaziou.fr>
References: <m2k2mdarez.fsf@charm-ecran.irisa.fr>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:52612)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <mail@nicolasgoaziou.fr>) id 1aTTcV-0006qb-5c
	for emacs-orgmode@gnu.org; Wed, 10 Feb 2016 07:11:44 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <mail@nicolasgoaziou.fr>) id 1aTTcR-0003r8-Ah
	for emacs-orgmode@gnu.org; Wed, 10 Feb 2016 07:11:43 -0500
Received: from relay3-d.mail.gandi.net ([217.70.183.195]:55555)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <mail@nicolasgoaziou.fr>) id 1aTTcR-0003qy-48
	for emacs-orgmode@gnu.org; Wed, 10 Feb 2016 07:11:39 -0500
In-Reply-To: <m2k2mdarez.fsf@charm-ecran.irisa.fr> (Alan Schmitt's message of
	"Wed, 10 Feb 2016 09:41:24 +0100")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Alan Schmitt <alan.schmitt@polytechnique.org>
Cc: emacs-orgmode <emacs-orgmode@gnu.org>

Hello,

Alan Schmitt <alan.schmitt@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