Can't one also use matching strings in the range={,},
(with the command \typefile)?
Alan
On Sat, 21 Apr 2018 17:29:58 +0200
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. rang
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 s
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.
\startbuffer
% cmd:one:begin
\define\FirstCommand
{\dosingleempty\doFirstCommand}
\def\doFirstC
I am writing some notes using ConTeXt, which involves displaying parts
of some program source files. At present, I am manually cutting and
pasting the parts into the ConTeXt file. Is it possible to make ConTeXt
do that for me? I am thinking of including each part of the Coq sources
between tags
