emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed
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

  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

  List information: https://www.orgmode.org/

* 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 public inbox

	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).