From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alan Schmitt Subject: How do I specify the language for a :results code block Date: Fri, 29 Nov 2013 22:49:42 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54467) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VmVwh-0000dK-UL for emacs-orgmode@gnu.org; Fri, 29 Nov 2013 16:50:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VmVwa-0008SK-Ts for emacs-orgmode@gnu.org; Fri, 29 Nov 2013 16:49:55 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:35574) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VmVwa-0008Rk-Nb for emacs-orgmode@gnu.org; Fri, 29 Nov 2013 16:49:48 -0500 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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: emacs-orgmode Hello, I'm trying to write a block in some language (right now shell, but it will probably be something different) whose output is an org source block is some language (here coq). I keep looking at the documentation and I cannot see how to specify the language. If I try something like: #+BEGIN_SRC sh :results code head -n 3 demo.v #+END_SRC When I evaluate the block I get: #+RESULTS: #+BEGIN_SRC sh Definition toto : forall x, exists y, x = y. Lemma foo: forall x, x=x. #+END_SRC How can I have a block with "#+BEGIN_SRC coq" instead? I looked at http://orgmode.org/manual/Specific-header-arguments.html#Specific-header-arguments and at http://orgmode.org/manual/results.html#results and could not find where one would specify the language. Thanks, Alan