8 <src-style-file|fangle|0.5>
11 Style to be used in literate programs.
14 <\src-copyright|2009-2011>
19 This <TeXmacs> style file falls under the <hlink|GNU general public
20 license|$TEXMACS_PATH/LICENSE> and comes WITHOUT ANY WARRANTY
21 WHATSOEVER. If you do not have a copy of the license, then write to
22 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
23 Boston, MA 02111-1307, USA.
30 The previous release of newfangle did not embed the \<less\>item\<gtr\>
31 tags within the listing to denote a new line. Instead it used tricks to
32 break the environment contents into lines and enumerated over those and
33 emitting an \<less\>item\<gtr\> tag before each one.
35 Such a technique prevented lines from wrapping when typesetting and
36 also prevented users from inserting soft line-breaks (as they can with
37 normal enumerate environments).
39 For these reasons, a change is made to explicitly use the
40 \<less\>item\<gtr\> tag at the beginning of each line in a listing.
41 When the program is extracted from the document:
43 1. lines that do not begin with \<less\>item\<gtr\> will be joined to
44 the previous line by a single space character.
46 2. if the first line does not begin with \<less\>item\<gtr\> then
48 \ \ \ a. if it is not the first instance of a chunk name, it will be
49 joined to the end of the last line of the previous chunk instance
51 Note: if a line is included in another chunk without starting a new
52 line in the including chunk then the included chunk will not start a
53 new line, regardless of whether or not it is prefixed with
58 This sed will convert <TeXmacs> documents from the old to the new
59 format. Within nf-chunk tags it detects the start of a new entry by the
60 preceding blank line and inserts an \<less\>item\<gtr\> tag. It also
61 inserts an \<less\>item\<gtr\> tag right after the start of the
62 nf-chunk tag as this does not have a blank line.
67 /^[[:space:]]*\<less\>\\/nf-chunk/h
69 /^$/{n;/[^ ]/{x;/^[[:space:]]*\<less\>\\\\nf-chunk/{x;s/[[:space:]]*/
70 \<less\>item\<gtr\>/;x};x}}
72 /^[[:space:]]*\<less\>\\\\nf-chunk/{h;n;s/[[:space:]]*/
82 These are our package dependancies
86 <use-package|std|env|tmdoc-markup>
90 This is a failed attempt to add nf-chunk to the list tag definitions.
91 It does not work and must currently be executed from Tools, Execute,
92 Evaluate Scheme Expression
96 <extern|(lambda() (define-group enumerate-tag nf-chunk))>
100 The filename macro is intended to format filenames with appropriate
101 visual markup and avoiding confusing insertions of hyphens when the
102 name is split over a line
106 <assign|filename|<macro|name|<verbatim|<arg|name>>>>
110 The build-in code and verbaitim formats have an unpleasant line spacing
114 <assign|old-code|<value|code>>
116 <assign|code|<macro|x|<with|par-par-sep|0fn|<compound|old-code|<arg|x>>>>>
118 <assign|old-verbatim|<value|verbatim>>
120 <assign|verbatim|<macro|x|<with|par-par-sep|0fn|<compound|old-verbatim|<arg|x>>>>>
124 This style renders causes hyperlinks to show the URL in a footnote -
125 very useful for printed text and while <TeXmacs> PDF output does not
126 support hyperlink clicking
130 <assign|old-hlink|<value|hlink>>
132 <assign|hlink|<macro|t|l|<old-hlink|<arg|t>|<arg|l>><\footnote>
138 Now, some extensions to standard <TeXmacs> functionality.
140 \ - the get-binding trick to extract a page number is kindly given by
141 Joris who gave us so much already.
143 I would rather ispageref? just made the first test comparing to uninit
144 (the red question mark) so that real but un-placed page refs would
145 still be recognized as a pageref - however I have found documents with
146 stale labels - that no longer exist in the document but which are still
147 stored in the document references section with a target page of ?
149 --- additional note: I have found that stale labels are now not even
150 reverting to ? but retain the last known value. The only fix is to
151 insert \<less\>assign\|save-aux\|false\<gtr\> in the pre-amble and hope
152 that it works (it often doesn't) so that page references are not saved
153 at all but created from scratch each time - avoiding the problem of
154 stale labels as they won't get created!
158 <assign|ispageref?|<macro|x|<and|<not|<equal|<uninit>|<pagerefpage|<arg|x>>>>|<not|<equal|?|<pagerefpage|<arg|x>>>>>>>
165 Page references are links, defined by the following macro:
169 \ \ \ \ \ (locus (id (hard-id (arg "x")))
171 \ \ \ \ \ \ \ \ \ \ \ \ (hyperlink (id (hard-id (arg "x")))
173 \ \ \ \ \ (url (merge "#" (arg "x"))))
175 (get-binding (arg "x") "1")))
178 which leads to this definition if pagerefpage whose job it is to give
179 the page number for a label (as it was last calculated to be).\
181 This is useful when constructing our own labels that consist of the
182 page number and a sub-page counter of the target.
186 <assign|pagerefpage|<macro|x|<get-binding|<arg|x>|1>>>
190 These next macros control how a code chunk is rendered on the screen,
191 and could legitimately be re-defined in the document.
197 nf-framed-table defines the format of the single cell that used to hold
198 the listing. The listing is no longer defined in a cell, but we still
199 draw top and bottom borders.
201 Currenly we can't draw left and right borders.
205 <assign|nf-cell-border|0.5ln>
207 <assign|nf-cell-no-border|0.0ln>
209 <assign|nf-cell-top-border|<value|nf-cell-border>>
211 <assign|nf-cell-left-border|<value|nf-cell-border>>
213 <assign|nf-cell-bottom-border|<value|nf-cell-no-border>>
215 <assign|nf-cell-right-border|<value|nf-cell-border>>
219 DEPRACATED: nf-framed-fragment defines the listing to be rendered in a
220 table with a single cell.
224 <assign|nf-framed-table|<macro|x|<with|color|dark
225 grey|<tformat|<twith|table-width|1par>|<cwith|1|-1|1|-1|cell-hyphen|t>|<cwith|1|-1|1|-1|cell-bsep|1spc>|<cwith|1|-1|1|-1|cell-tsep|1spc>|<cwith|1|-1|1|-1|cell-background|white>|<cwith|1|-1|1|-1|cell-lborder|<value|nf-cell-left-border>>|<cwith|1|-1|1|-1|cell-rborder|<value|nf-cell-right-border>>|<cwith|1|-1|1|-1|cell-bborder|<value|nf-cell-bottom-border>>|<cwith|1|-1|1|-1|cell-tborder|<value|nf-cell-top-border>>|<arg|x>>>>>
229 DEPREACTED: nf-framed-fragment defines the listing to be rendered in a
230 table with a single cell.\
232 As we currently use \<less\>wide-underlined\<gtr\> or
233 \<less\>wide-bothlined\<gtr\> to draw the lines this is done on lines
234 before and after the listing by underlining the header and a following
235 blank line, so nf-framed-fragment is currently null.
239 <assign|nf-framed-fragment-old|<macro|x|<nf-framed-table|<tformat|<table|<row|<\cell>
240 <with|color|black|<arg|x>>
243 <assign|nf-framed-fragment|<macro|x|<arg|x>>>
247 prog-f renders a body in prog mode with specified language and without
248 a ghastly par-par-sep
252 <assign|prog-f|<macro|lang|body|<with|mode|prog|prog-language|<arg|lang>|<with|par-par-sep|0fn|<arg|body>>>>>
256 nf-border-if takes a boolean and then returns a correct width to show
257 (or not show) a border -- either as a table sell or a wide-underlined
261 <assign|nf-border-if|<macro|x|<if|<arg|x>|<value|nf-cell-border>|<value|nf-cell-no-border>>>>
265 ???prog-fragment is the top level macro used for rendering a listing
266 (without line numbers). It renders prog-f within a framed fragment.
270 <assign|prog-fragment|<\macro|name|lang|x>
271 <with|nf-cell-top-border|<nf-border-if|<compound|nf-first-chunklet?|<arg|name>>>|nf-cell-bottom-border|<nf-border-if|<nf-last-chunklet?|<arg|name>>>|<nf-framed-fragment|<compound|prog-f|<arg|lang>|<arg|x>>>>
274 <assign|nf-pf|<macro|name|lang|x|<nf-framed-fragment|<prog-f|<arg|lang>|<arg|x>>>>>
278 ???Numbering the listing
282 <assign|nflp|<macro|x|<arg|x>>>
286 Forgot what nf-chunk is for
290 <new-counter|nf-chunk>
294 The noweb format that we follow names listings after the page number
295 followed by an alpha-counter that is reset on each page; e.g. 12a then
296 12b, 12c and then on page 13 back to 13a
298 As there is no trigger called on a new page that can help us, we
299 instead store the page number as we process each chunk so that we can
300 tell when a chunk is on a different page to the previous chunk --- in
301 order to reset the alpha-counter.
309 Chunks have a name which is provided by the user, but more than one
310 chunk can have the same name. These are called chunklets of the same
313 Although chunklets have the same name, they have a different id, which
314 is the name with a specified prefix, and a suffix which is the chunklet
317 nf-chunk-id computes a chunk id from a fixed "code-" namespace, a
318 supplied "tag" namespace name, the name and the chunklet number
322 <assign|nf-chunk-id|<macro|name|tag|n|<merge|code-|<arg|tag>|-|<unquote|<arg|name>>|-|<arg|n>>>>
326 nf-this-chunk-id is a convenience that uses the counter for the current
327 chunklet. (Each chunk has it's own counter to count it's chunklets)
329 ???Possibly unquote should be used by the called and not here
333 <assign|nf-this-chunk-id|<macro|name|tag|<nf-chunk-id|<arg|name>|<arg|tag>|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>>>>
337 Simple way to discover if we are processing the first chunklet of a
338 named chunk - by checking it's chunklet counter.
342 <assign|nf-first-chunklet?|<macro|name|<equal|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>
346 Simple way to discover if we are processing the last chunklet of a
347 named chunk - by checking if there is a chunklet with an increased
352 <assign|nf-last-chunklet?|<macro|name|<not|<compound|nf-chunklet-exists?|<nf-chunk-id|<arg|name>|ref|<plus|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>>>>
356 Simple way to discover if a chunklet (probably) exists - which is
357 needed to know if we should show a forward reference to the next
358 chunklet. As each chunklet defines a label, we just need to check if
359 there is a pageref to that label.
363 <assign|nf-chunklet-exists?|<macro|id|<ispageref?|<arg|id>>>>
367 nf-nav renders the links to the previous and next chunklets of this
368 chunk (if they exist).
370 Looks like this: <math|\<vartriangleleft\>>7b
371 7d<math|\<vartriangleright\>>
375 <assign|nf-prev-chunk-id|<macro|name|<nf-chunk-id|<arg|name>|ref|<minus|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>>
377 <assign|nf-next-chunk-id|<macro|name|<nf-chunk-id|<arg|name>|ref|<plus|<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>|1>>>>
379 <assign|nf-nav|<style-with|src-compact|none|<macro|name|<style-with|src-compact|all|<if|<not|<nf-first-chunklet?|<arg|name>>>|<if|<equal|<pagerefpage|<nf-prev-chunk-id|<arg|name>>>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<math|\<vartriangle\>>|<math|\<vartriangleleft\>>><reference|<nf-prev-chunk-id|<arg|name>>>>><if|<compound|nf-chunklet-exists?|<nf-next-chunk-id|<arg|name>>>|
380 <reference|<nf-next-chunk-id|<arg|name>>><if|<equal|<pagerefpage|<nf-next-chunk-id|<arg|name>>>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<math|\<triangledown\>>|<math|\<vartriangleright\>>>>>>>
384 nf-header renders the single line header before the listing. It lists
385 the reference of this chunk which is the-label (already estiablished by
386 nf-chunk-init) along with the chunk name and language, the chunklet
387 number and a reference to the first chunklet with the same name, and
388 also the chunklet navigation.
394 <assign|nf-pad|<macro|w|<if|<not|<less|<arg|w>|1>>|
395 <nf-pad|<minus|<arg|w>|1>>>>>
397 <assign|nf-header|<macro|name|lang|args|<shift|<resize|<specific-verbatim|\<#000A\><nf-pad|<minus|5|<length|<merge|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>|<number|<the-nf-chunk>|alpha>>>>>><value|the-label>
398 |||0fn|>|-2.0fn|><nv-langle><with|color|blue|<arg|name>>[<compound|<merge|the-code-chunk-|<unquote|<arg|name>>>><style-with|src-compact|none|]><if|<not|<nf-first-chunklet?|<arg|name>>>|<if|<not|<equal|<value|<merge|code-args-|<unquote|<arg|name>>>>|<uninit>>>|(<with|nf-render-commas|<macro|x|<arg|x>>|<nf-commas|<value|<merge|code-args-|<unquote|<arg|name>>>>>>)>
399 <math|\<Uparrow\>><reference|<nf-chunk-id|<arg|name>|ref|1>>|(<nf-commas|<arg|args>>)>,
400 lang=<with|color|blue|<arg|lang>><nv-rangle>
401 <math|<if|<not|<nf-first-chunklet?|<arg|name>>>|+>\<equiv\>><htab|0pt><nf-nav|<arg|name>>>>
403 <assign|nf-render-commas|<macro|x|<with|color|blue|<arg|x>>>>
405 <assign|nf-commas|<macro|items|<if|<equal|<get-label|<arg|items>>|tuple>|<if|<less|<length|<arg|items>>|1>||<nf-render-commas|<look-up|<arg|items>|0>><if|<greater|<length|<arg|items>>|1>|,
406 <nf-commas|<range|<arg|items>|1|<length|<arg|items>>>>>>|<arg|items>>>>
408 <assign|nf-commaxy|<macro|x|, (<arg|x>)>>
410 <assign|nf-commax|<xmacro|args|[<arg|args|0><map-args|nf-commaxy|concat|args|1>]>>
412 <assign|bla|<xmacro|args|<arg|args|0>:<arg|args|1>(<arg|args>)>>
416 nf-gather is an attempt to remember each named chunk so that it can
417 optionally be expanded in-place in other chunks. It's a poor attempt
418 and only works for forward uses. Such expansion should be compined with
419 over-brace or side-brace decoration of the included chunk, and also
420 requires that the inline continuation after the expanded chunk continue
421 from the baseline of the expanded chunk instead of the baseline before
422 the expanded chunk was included.
426 <assign|nf-gather|<macro|name|x|lang|<if|<provides|<arg|name>>|<assign|<unquote|<arg|name>>|<value|<arg|name>><unquote|<arg|x>>>|<assign|<unquote|<arg|name>>|<quote|<arg|x>>>>>>
430 nf-chunk-new is called by nf-chunk-init for the first chunklet of a
431 given chunk name - it defines a chunklet counter and a line number
436 <assign|nf-chunk-new|<macro|name|args|<quasi|<new-counter|<merge|code-chunk-|<unquote|<arg|name>>>><new-counter|<merge|code-line-|<unquote|<arg|name>>>><assign|<unquote|<merge|code-item-|<arg|name>>>|<macro|<compound|<unquote|<merge|next-code-line-|<arg|name>>>><render-item|<compound|<unquote|<merge|the-code-line-|<arg|name>>>>>>><compound|<merge|inc-code-chunk-|<unquote|<arg|name>>>><assign|<merge|code-args-|<unquote|<arg|name>>>|<arg|args>>>>>
440 nf-chunk-next is called by nf-chunk-init for the additional chunklets
441 of a given chunk name. \ It increments the chunklet counter
445 <assign|nf-chunk-next|<macro|name|<compound|<merge|inc-code-chunk-|<unquote|<arg|name>>>>>>
449 nf-check-page uses the label defined in nf-chunk-label to get the
450 number of the page containing this chunk to compare to nf-page (the
451 number of the page containing the previous chunk) to see if this chunk
452 is the first chunk on a page. If so, then the nf-chunk alpha counter is
453 reset, otherwise it is increased.
457 <assign|nf-check-page|<macro|name|<if|<not|<equal|<value|nf-page>|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>>|<reset-nf-chunk><inc-nf-chunk><assign|nf-page|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>>>|<inc-nf-chunk>>>>
461 ???????? Review from here onwards
467 nf-chunk-ref defines labels and label text so that we can generate
468 references to chunklets in the form
469 \<less\>PAGENO\<gtr\>\<less\>the-nf-chunk\<gtr\> \ e.g. 17a then 17b
472 The label text is stored in the-chunk-label which is used by XXX. It
473 then creates a label (with the tag ref) of the form code-ref-NAME-NO
474 which is a bit long winded to use with \<less\>reference\|...\<gtr\>
475 and so \<less\>chunk-reference\|...\<gtr\> is provided to help.
477 The ref tagged label is to be used in preference to the label-tagged
478 label created in nf-chunk-label whose only purpose is to find out what
479 page a chunk starts on so that the chunk ref label can be created
483 <assign|nf-chunk-ref|<macro|name|<nf-check-page|<arg|name>><assign|the-chunk-label|<pagerefpage|<nf-this-chunk-id|<arg|name>|label>><number|<the-nf-chunk>|alpha>><assign|the-label|<value|the-chunk-label>><label|<nf-this-chunk-id|<arg|name>|ref>>>>
487 There seems to be no \<less\>specific\|...\<gtr\> tag for verbatim
488 exports, so we use specific-verbatim. The body is not visible except in
493 <assign|specific-verbatim|<macro|x|<clipped|<arg|x>|0|0|0|0>>>
497 except-specific-verbatim is intended to output in all forms except
498 verbatim. This is used because some entities do not have a text
499 representation --- like \<less\>langle\<gtr\> and the fall-back
500 representation is ugly. This macro does not work in page headers, the
501 \<less\>if*\|false\|body\<gtr\> fails to leave the correct space
505 <assign|except-specific-verbatim|<macro|body|<specific|screen|<arg|body>><specific|printer|<arg|body>><if*|false|<arg|body>>>>
509 nv-langle-subst and lv-rangle-subst define characters that should be
510 output in verbatim mode instead of langle and rangle which would
511 otherwise be output as the literal text rangle and langle
515 <assign|nv-langle-subst|\<less\>>
517 <assign|nv-rangle-subst|\<gtr\>>
521 nv-langle and nv-rangle are macros that can be used to generate a
522 langle and rangle exceot in text mode were they use the subst
523 characters \<less\> and \<gtr\>
527 <assign|nv-langle|<macro|<except-specific-verbatim|<with|mode|math|<left|langle>>><specific-verbatim|<value|nv-langle-subst>>>>
529 <assign|nv-rangle|<macro|<except-specific-verbatim|<with|mode|math|<right|rangle>>><specific-verbatim|<value|nv-rangle-subst>>>>
533 nv-render-line-no renders the line numbers for listings in a way that
534 is suitable for typeset and also verbatim export.
538 <assign|nf-render-line-no|<macro|x|<with|mode|text|par-mode|right|<with|font-family|tt|<with|font-base-size|6|<specific-verbatim|<nf-pad|<minus|3|<length|<value|item-nr>>>>><aligned-space-item|<arg|x>><specific-verbatim|\|
543 A chunklabel is of the form [chunkaname chunkno] e.g. [main.c 1] but
544 it's main purpose is not decorative or visual but as a means to
545 discover the page number containing this chunk so that it can be used
550 <assign|nf-chunk-label|<macro|name|<assign|nf-last-chunk|<arg|name>><assign|the-label|[<arg|name>
551 <compound|<merge|the-code-chunk-|<unquote|<arg|name>>>>]><label|<nf-this-chunk-id|<arg|name>|label>>>>
555 nf-chunk-init is called at the start of nf-chunk to create all
556 neccessary counters and labels. The
557 \<less\>provides\|\<less\>merge\|code-chunk-\|\<less\>unquote\|name\<gtr\>\|-nr\<gtr\>\<gtr\>
558 test could be replaced by some more canonical way to discover if a
559 chunk or chunk counter is defined. It's old code and I don't want to
564 <assign|nf-chunk-init|<macro|name|args|<with|nf-same-chunk|<equal|<value|nf-last-chunk>|<arg|name>>|<if|<not|<provides|<merge|code-chunk-|<unquote|<arg|name>>|-nr>>>|<nf-chunk-new|<arg|name>|<arg|args>>|<nf-chunk-next|<arg|name>>><nf-chunk-label|<arg|name>><nf-chunk-ref|<arg|name>><assign|nf-continues|<and|<value|nf-same-chunk>|<not|<equal|<number|<the-nf-chunk>|alpha>|a>>>>>>>
568 nf-chunk-outit is called at the end of nf-chunk mainly to create a
569 label so that we can see if the chunk ended on the same page it began.\
573 <assign|nf-chunk-outit|<macro|name|<label|<nf-this-chunk-id|<arg|name>|end>>>>
577 These macros output either a solid line ________ or a torn-paper-line
578 /\\/\\/\\ at the top and bottom of listins in verbatim mode, to signify
579 if the chunk continues or ends with this chunklet
583 <assign|nf-jags|<macro|<datoms|<macro|x|<repeat|<arg|x>|<with|gr-geometry|<tuple|geometry|2mm|5mm|center>|gr-mode|<tuple|edit|line>|gr-frame|<tuple|scale|1cm|<tuple|0.589991gw|0.5gh>>|<graphics||<line|<point|0mm|0mm>|<point|1mm|1mm>|<point|2mm|0mm|>>>>>>|<htab|5mm*|last>>>>
585 <assign|nf-bar|<macro|>>
587 <assign|nf-barx|<macro|<merge|<times|<value|font-base-size>|<value|font-size>>|pt><with|gr-geometry|<tuple|geometry|2mm|<merge|<times|<value|font-base-size>|<value|font-size>|1>|pt>|center>|gr-mode|<tuple|edit|line>|line-width|8ln|<graphics||<line|<point|0mm|0mm>|<point|0mm|30pt>>>>>>
589 <assign|nf-verbatim-top|<macro|new|<if|<arg|new>|<specific-verbatim|
590 \ \ \ \ \ ________________________________________________________________________>|<specific-verbatim|
591 \ \ \ \ ./\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\>>>>
593 <assign|nf-verbatim-bottom|<macro|new|<if|<arg|new>|<specific-verbatim|
594 \ \ \ \ \|________________________________________________________________________>|<specific-verbatim|
595 \ \ \ \ \|/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\/\\>>>>
599 nf-chunk is the first public macro. It shows a named listing with all
602 We used to disable the full header if previous chunk on this page had
603 same name and this is not the first chunk on a page
607 <assign|nf-chunk|<macro|name|x|lang|args|<with|the-label||xnv-langle-subst||xnv-rangle-subst||nf-name|<unquote|<arg|name>>|y|<value|pob>|<small|<surround|<nf-chunk-init|<arg|name>|<arg|args>><wide-underlined|<nf-border-if|<nf-first-chunklet?|<value|nf-name>>>|1ln|<no-page-break*><label|<arg|name>><small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>><no-page-break>>|<if|<nf-last-chunklet?|<value|nf-name>>|<wide-bothlined|<nf-border-if|<nf-last-chunklet?|<value|nf-name>>>|0ln|1ln|0ln|<htab|5mm*|last>>|<nf-jags>>|<\with|item|<value|<merge|code-item-|<unquote|<arg|name>>>>|item-vsep|0fn|current-item|<value|nf-render-line-no>|transform-item|<value|identity>>
608 <\surround||<nf-chunk-outit|<arg|name>><if|<and|<not|<equal|<value|nf-page>|<pagerefpage|<nf-this-chunk-id|<arg|name>|end>>>>|<ispageref?|<nf-this-chunk-id|<arg|name>|end>>>|<set-this-page-header|<with|nv-langle|<macro|<with|mode|math|<left|langle>>>|nv-rangle|<macro|<with|mode|math|<right|rangle>>>|<small|<nf-header|<arg|name>|<arg|lang>|<arg|args>>>>>>>
609 <no-page-break><nf-verbatim-top|<nf-first-chunklet?|<value|nf-name>>>
611 <with|nv-langle-subst|\S|nv-rangle-subst|\T|<nf-pf|<value|nf-name>|<arg|lang>|<arg|x>>>
613 <no-page-break*><if|<nf-last-chunklet?|<value|nf-name>>|<assign|<merge|code-line-|<value|nf-name>|-nr>|0>><nf-verbatim-bottom|<nf-last-chunklet?|<value|nf-name>>>
617 <new-list|nfl|<value|aligned-dot-item>|<value|identity>>
619 <drd-props|nf-chunk|accessible|all>
621 <assign|nf-comment|<macro|x|<with|mode|text|<specific-verbatim|/*
622 ><arg|x><specific-verbatim| */>>>>
626 nf-ref is the second public macro. It may be inserted into a chunk
627 listing to signify that another listing should be included at that
628 point. As \\ doesn't work in listings you'll have to type meta-\\ \
630 This will become an xmacro or something so that it can take optional
631 arguments (like C macros) which will be expanded when the programs are
636 <assign|nf-ref|<style-with|src-compact|none|<macro|name|args|<nv-langle><arg|name><if|<equal|<get-label|<arg|args>>|tuple>|(<nf-commas|<arg|args>>)>
637 <reference|<nf-chunk-id|<arg|name>|ref|1>><nv-rangle><flag|<arg|name>|red><if|<equal|0|1>|<compound|<quote-arg|name>>>>>>
641 nf-arg is a public macro. It will be replaced by the value of the chunk
642 argument when the code is extracted.
644 I really want to use \<less\>with\|nv-langle\|${\<gtr\> etc, but
645 evaluation of this is deferred until afterwards or something
649 <assign|nf-arg|<macro|name|<with|nv-langle-subst||nv-rangle-subst||<nv-langle><specific-verbatim|${><with|color|dark
650 green|<with|prog-font-shape|italic|<arg|name>>><specific-verbatim|}><nv-rangle>>>>
654 chunk-reference takes the chunks name and chunklet number and returns a
655 regular reference - like \<less\>reference\|\<gtr\> but calculates the
660 <assign|chunk-reference|<macro|name|n|<reference|<nf-chunk-id|<arg|name>|ref|<arg|n>>>>>
662 <assign|chunk-page-reference|<macro|name|n|<pageref|<nf-chunk-id|<arg|name>|ref|<arg|n>>>>>
664 <assign|chunk-page-reference-page|<macro|name|n|<pagerefpage|<nf-chunk-id|<arg|name>|ref|<arg|n>>>>>
668 One day nf-tab will manage proper tab stops and emit a literal TAB
669 character in text mode.
671 Until then, it equals 8 spaces and the sequence 0xE2 0x86 0xA6 must be
672 converted to a tab during untangling
674 nf-untab will output 0xE2 0x86 0xA4 and is a hack; during untanging
675 [[:space:]]*0xE2 0x86 0xA4 will be deleted. This is useful for
676 removeing the indent of here documents in bash scripts
680 <assign|nf-tab-stop|8>
682 <assign|xafter|<specific-verbatim|\<#000A\> \ \ \ \<#221F\>>>
684 <assign|xnf-tab|<macro|<resize|\<#0009\><with|mode|math|\<mapsto\>>|||<merge|c+|<minus|<value|nf-tab-stop>|<mod|<value|nf-len>|<value|nf-tab-stop>>>|spc>|>>>
686 <assign|nf-tab|<macro|<resize|<with|mode|math|\<mapsto\>>|||8spc|>>>
688 <assign|nf-untab|<macro|<with|mode|math|\<mapsfrom\>>>>
690 <assign|nf-ht|<macro|<extern|(lambda () `(concat "[" ,(string #\\ht)
696 <associate|page-medium|automatic>
697 <associate|page-screen-height|746496tmpt>
698 <associate|page-screen-width|1265664tmpt>
699 <associate|preamble|true>