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