From: "N. Raghavendra" <nyraghu27132@gmail.com>
To: ntg-context@ntg.nl
Subject: Re: Including part of a program source file
Date: Sun, 22 Apr 2018 00:21:25 +0530 [thread overview]
Message-ID: <87o9ico0k2.fsf@gmail.com> (raw)
In-Reply-To: <5ADB58F6.7080008@gmail.com> (Wolfgang Schuster's message of "Sat, 21 Apr 2018 17:29:58 +0200")
At 2018-04-21T17:29:58+02:00, Wolfgang Schuster wrote:
> The verbatim commands have a range key which let you select parts of
> the code, you can use line numbers to include a small block
> (e.g. range={3,10} or range {3,+7}) or you put labels in your code.
Many thanks! It works perfectly, with something like this:
\starttext
\typefile
[range={beg:8e1e0cb9:6524:4a9b:a58e:6610c8bcf156,
end:8e1e0cb9:6524:4a9b:a58e:6610c8bcf156}]
{../coq/univalence/transport/total_path.v}
\typefile
[range={beg:8edf79a4:6fe4:4a0c:a1a4:5be2ab413b47,
end:8edf79a4:6fe4:4a0c:a1a4:5be2ab413b47}]
{../coq/univalence/transport/path_from.v}
\stoptext
Raghu.
--
N. Raghavendra <raghu@hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
next prev parent reply other threads:[~2018-04-21 18:51 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-21 14:00 N. Raghavendra
2018-04-21 15:29 ` Wolfgang Schuster
2018-04-21 18:51 ` N. Raghavendra [this message]
2018-04-21 23:06 ` Alan Braslau
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=87o9ico0k2.fsf@gmail.com \
--to=nyraghu27132@gmail.com \
--cc=ntg-context@ntg.nl \
/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.
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 NNTP newsgroup(s).