emacs-orgmode
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[O] How do I specify the language for a :results code block


From: Alan Schmitt
Subject: [O] How do I specify the language for a :results code block
Date: Fri, 29 Nov 2013 22:49:42 +0100
User-agent: mu4e 0.9.9.6pre2; emacs 24.3.1

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]