Re: [O] including the result of a block in several places?

[Alan Schmitt]

"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