|
From: | Alan Schmitt |
Subject: | Re: [O] including the result of a block in several places? |
Date: | Mon, 10 Dec 2012 11:17:32 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin) |
"Sebastien Vauban" <address@hidden> writes: > In a hurry, to repeat the code: > > - use named blocks > - use Noweb expansion > > That is: > > #+name: mycode > #+begin_src coq > ... > #+end_src > > Inserted a first time here: > > #+begin_src coq :noweb yes > <<mycode>> > #+end_src > > and another one here: > > #+begin_src coq :noweb yes > <<mycode>> > #+end_src Thanks a lot, that worked perfectly. Alan
[Prev in Thread] | Current Thread | [Next in Thread] |