"Sebastien Vauban" <wxhgmqzgw...@spammotel.com> 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