Re: [NTG-context] Including part of a program source file

2018-04-21 Thread Alan Braslau
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

Re: [NTG-context] Including part of a program source file

2018-04-21 Thread N. Raghavendra
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

Re: [NTG-context] Including part of a program source file

2018-04-21 Thread Wolfgang Schuster
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}

[NTG-context] Including part of a program source file

2018-04-21 Thread N. Raghavendra
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