From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Subject: Re: including the result of a block in several places?
Date: Mon, 10 Dec 2012 11:17:32 +0100
Message-ID: <m2624adxdv.fsf@top.irisa.fr>
References: <m2r4n1bzxe.fsf@top.irisa.fr> <8038zh3eil.fsf@somewhere.org>
	<m2d2ykn95s.fsf@top-wifi.irisa.fr> <m1boe4zdka.fsf@tsdye.com>
	<m2pq2ii8tb.fsf@top-wifi.irisa.fr> <80a9tmrzz4.fsf@somewhere.org>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([208.118.235.92]:48000)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1Ti0Qb-0005Lb-14
	for emacs-orgmode@gnu.org; Mon, 10 Dec 2012 05:17:39 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1Ti0Qa-0007qK-02
	for emacs-orgmode@gnu.org; Mon, 10 Dec 2012 05:17:36 -0500
Received: from mail4-relais-sop.national.inria.fr ([192.134.164.105]:39299)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1Ti0QZ-0007qD-PW
	for emacs-orgmode@gnu.org; Mon, 10 Dec 2012 05:17:35 -0500
In-Reply-To: <80a9tmrzz4.fsf@somewhere.org> (Sebastien Vauban's message of
	"Mon, 10 Dec 2012 10:57:51 +0100")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Sebastien Vauban <wxhgmqzgwmuf@spammotel.com>
Cc: emacs-orgmode@gnu.org

"Sebastien Vauban" <wxhgmqzgwmuf@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