From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Subject: Re: How do I specify the language for a :results code block
Date: Wed, 04 Dec 2013 13:35:42 +0100
Message-ID: <m2li00bxpd.fsf@polytechnique.org>
References: <m27gbq3mkp.fsf@polytechnique.org>
	<m1bo12yi37.fsf@poto.westell.com>
	<loom.20131130T001741-64@post.gmane.org>
	<m2r49y17qv.fsf@polytechnique.org> <m1vbz925f3.fsf@tsdye.com>
	<m2r49vfsc7.fsf@polytechnique.org> <m1ob4z6vp6.fsf@tsdye.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 ([2001:4830:134:3::10]:59126)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1VoC2Z-0006d0-MR
	for emacs-orgmode@gnu.org; Wed, 04 Dec 2013 07:59:02 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1VoC2S-0004rK-D9
	for emacs-orgmode@gnu.org; Wed, 04 Dec 2013 07:58:55 -0500
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:36606)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1VoC2S-0004r9-6r
	for emacs-orgmode@gnu.org; Wed, 04 Dec 2013 07:58:48 -0500
In-reply-to: <m1ob4z6vp6.fsf@tsdye.com>
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: "Thomas S. Dye" <tsd@tsdye.com>
Cc: emacs-orgmode@gnu.org, Charles Berry <ccberry@ucsd.edu>

Hi Thomas,

> IIUC, your goal is to export the coq source code blocks. Does the
> following, which uses :results org, do what you want? It seems to work
> for me.

It almost works. What I get upon export is an org blog, where I can see
the "#+BEGIN_SRC coq" marker. The code inside is correctly displayed, though.

> P.S. I remembered :wrap just now. This doesn't export well, though.
>
> #+call: fetchcoq2("demo.v") :wrap src coq
>
> #+results:
> #+BEGIN_src coq
> demo.v
> #+END_src

This is very nice! The fact that it does not export well seems to be a
bug. I'll report it (in a new thread). Thank you for the suggestion.

Alan