From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Sebastien Vauban <wxhgmqzgwmuf@spammotel.com>
Cc: emacs-orgmode@gnu.org
Subject: Re: including the result of a block in several places?
Date: Mon, 10 Dec 2012 11:17:32 +0100 [thread overview]
Message-ID: <m2624adxdv.fsf@top.irisa.fr> (raw)
In-Reply-To: <80a9tmrzz4.fsf@somewhere.org> (Sebastien Vauban's message of "Mon, 10 Dec 2012 10:57:51 +0100")
"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
next prev parent reply other threads:[~2012-12-10 10:17 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-07 16:16 including the result of a block in several places? Alan Schmitt
2012-12-07 18:26 ` Sebastien Vauban
2012-12-08 10:13 ` Alan Schmitt
2012-12-08 16:57 ` Thomas S. Dye
2012-12-10 8:57 ` Alan Schmitt
2012-12-10 9:57 ` Sebastien Vauban
2012-12-10 10:17 ` Alan Schmitt [this message]
2012-12-10 14:58 ` Eric Schulte
2012-12-10 16:14 ` Alan Schmitt
2012-12-10 19:32 ` Alan Schmitt
2012-12-10 19:43 ` Thomas S. Dye
2012-12-11 7:48 ` Alan Schmitt
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m2624adxdv.fsf@top.irisa.fr \
--to=alan.schmitt@polytechnique.org \
--cc=emacs-orgmode@gnu.org \
--cc=wxhgmqzgwmuf@spammotel.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.