From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Subject: Re: Literate programming of interactive proofs?
Date: Tue, 20 Nov 2012 08:42:40 +0100
Message-ID: <m26250yb2n.fsf@polytechnique.org>
References: <m2txsqdfsk.fsf@polytechnique.org> <87txspilbm.fsf@gmail.com>
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 ([208.118.235.92]:34233)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1TaiTo-0005vB-Ty
	for emacs-orgmode@gnu.org; Tue, 20 Nov 2012 02:42:52 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1TaiTj-0000Fp-7A
	for emacs-orgmode@gnu.org; Tue, 20 Nov 2012 02:42:48 -0500
Received: from mail1-relais-roc.national.inria.fr ([192.134.164.82]:51714)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1TaiTj-0000Fa-19
	for emacs-orgmode@gnu.org; Tue, 20 Nov 2012 02:42:43 -0500
In-Reply-To: <87txspilbm.fsf@gmail.com> (Eric Schulte's message of "Fri, 16
	Nov 2012 09:05:32 -0700")
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: Eric Schulte <schulte.eric@gmail.com>
Cc: emacs-orgmode <emacs-orgmode@gnu.org>

Eric Schulte <schulte.eric@gmail.com> writes:

> If you do end up writing any level of support for Coq code blocks please
> consider contributing it to Org-mode.

Thanks a lot for these suggestions. I'll explore these options, and will
report back when I get something working.

Alan