[Top][All Lists]

[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; emacs 24.3.1


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

When I evaluate the block I get:

Definition toto : forall x, exists y, x = y.

Lemma foo: forall x, x=x.

How can I have a block with "#+BEGIN_SRC coq" instead? I looked at
and at http://orgmode.org/manual/results.html#results and could not find
where one would specify the language.



reply via email to

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