Annotation of researchv10no/cmd/monk/db/global, revision 1.1.1.1

1.1       root        1: |environment(roman;
                      2: font roman;)
                      3: |environment(r;
                      4: font roman;)
                      5: |environment(italics;
                      6: font italics;)
                      7: |environment(i;
                      8: font italics;)
                      9: |environment(bold;
                     10: font bold;)
                     11: |environment(b;
                     12: font bold;)
                     13: |environment(bolditalics;
                     14: font bolditalics;)
                     15: |environment(bi;
                     16: font bolditalics;)
                     17: |environment(constant_width;
                     18: font cw;)
                     19: |environment(cw;
                     20: font cw;)
                     21: |environment(here;
                     22: here on;)
                     23: |environment(around;
                     24: around on;)
                     25: |environment(around_placement;
                     26: ;
                     27: around_placement)
                     28: |environment(full;
                     29: around_width full, footnote_width full;)
                     30: |environment(narrow;
                     31: around_width narrow, footnote_width narrow;)
                     32: |associate(blank_space;;;
                     33: [$;
                     34: spacing on, blank.lines $;]
                     35: [;
                     36: spacing on, blank.lines 1;])
                     37: |associate(new_page;;;
                     38: [1;
                     39: spacing on, new.page;]
                     40: [2;
                     41: spacing on, new.page, spacing on, new.page;]
                     42: [3;
                     43: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
                     44: [4;
                     45: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     46: spacing on, new.page;]
                     47: [5;
                     48: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     49: spacing on, new.page, spacing on, new.page;]
                     50: [6;
                     51: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     52: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
                     53: [7;
                     54: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     55: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     56: spacing on, new.page;]
                     57: [8;
                     58: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     59: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     60: spacing on, new.page, spacing on, new.page;]
                     61: [9;
                     62: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     63: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     64: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
                     65: [10;
                     66: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     67: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     68: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     69: spacing on, new.page;]
                     70: [11;
                     71: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     72: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     73: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     74: spacing on, new.page, spacing on, new.page;]
                     75: [12;
                     76: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     77: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     78: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     79: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
                     80: [13;
                     81: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     82: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     83: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     84: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     85: spacing on, new.page;]
                     86: [14;
                     87: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     88: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     89: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     90: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     91: spacing on, new.page, spacing on, new.page;]
                     92: [15;
                     93: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     94: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     95: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     96: spacing on, new.page, spacing on, new.page, spacing on, new.page,
                     97: spacing on, new.page, spacing on, new.page, spacing on, new.page;]
                     98: [;
                     99: spacing on, new.page;])
                    100: |associate(column_style; column next;;
                    101: [width $;;
                    102: column width $]
                    103: [offset $;;
                    104: column offset $])
                    105: |associate(new_column;;;
                    106: [$;;
                    107: column old $]
                    108: [;;
                    109: column new])
                    110: |environment(indent;
                    111: indent +3;)
                    112: |environment(center;
                    113: center on;)
                    114: |environment(center_block;
                    115: fill off, center.block on;)
                    116: |environment(small;
                    117: size -1;)
                    118: |environment(s;
                    119: size -1;)
                    120: |environment(big;
                    121: size +1;)
                    122: |environment(u;
                    123: underline on;)
                    124: |environment(underline;
                    125: underline on;)
                    126: |environment(quotation;
                    127: indent +.5i, line.length -.5i, line.spacing 1;
                    128: line.length +.5i, new.line)
                    129: |environment(verbatim;
                    130: verbatim on, file.information, line.spacing 1, fill off;)
                    131: |environment(text;
                    132: fill on;)
                    133: |environment(left_adjust;
                    134: adjust left;)
                    135: |associate(left_center_right;
                    136: set string Ts "`";
                    137: title Ts;
                    138: [$;
                    139: add string Ts $, add string Ts "`";])
                    140: |environment(footnote;
                    141: size -2, vertical.motion -.4m,
                    142: number ++ FN, vertical.motion +.4m, space -2, line.spacing 1,
                    143: footnote on, indent 0.2i, indent.line -0.2i,
                    144: number FN, text ".", horizontal.motion "|0.2i";
                    145: SPACE)
                    146: |environment(unnumbered_footnote;
                    147: size -2, space -2, line.spacing 1,
                    148: footnote on, indent 0.2i;
                    149: SPACE)
                    150: |environment(dagnote;
                    151: size -2, vertical.motion -.4m,
                    152: text "\(dg", vertical.motion +.4m, space -2, line.spacing 1,
                    153: footnote on, indent 0.2i, indent.line -0.2i,
                    154: text "\(dg", horizontal.motion "|0.2i";
                    155: SPACE)
                    156: |environment(authordagnote;
                    157: size -2, space -2, line.spacing 1,
                    158: footnote on, indent 0.2i, indent.line -0.2i,
                    159: text "\(dg", horizontal.motion "|0.2i";
                    160: SPACE)
                    161: |environment(starnote;
                    162: size -2, vertical.motion -.4m,
                    163: text "\(**", vertical.motion +.4m, space -2, line.spacing 1,
                    164: footnote on, indent 0.2i, indent.line -0.2i,
                    165: text "\(**", horizontal.motion "|0.2i";
                    166: SPACE)
                    167: |environment(endnote;
                    168: size -2, vertical.motion -.4m,
                    169: number ++ endnote_counter, vertical.motion +.4m, size +2,
                    170: append.output on endnote_output,
                    171: |ifvalue sawendnote on [
                    172: minimum.lines,
                    173: ]
                    174: indent.line 3, number endnote_counter, text ". ";
                    175: sawendnote on)
                    176: |environment(endnote_placement;
                    177: |ifvalue sawendnote on [
                    178: new.page,
                    179: set string Ts "NOTES",
                    180: inline off, size +1, center on,
                    181: font bold, string Ts, font roman,
                    182: center off, size -1, inline on,
                    183: minimum.lines,
                    184: clear string Rs,
                    185: contents section 1 Rs Ts,
                    186: line.spacing 1, macro endnote_output
                    187: ];
                    188: sawendnote off)
                    189: |environment(notation;
                    190: minimum.lines, fill off;
                    191: minimum.lines)
                    192: |environment(approved;
                    193: minimum.lines 2, text bold "Approval:  ", blank.lines 3,
                    194: line 3.5i, tab.stops 1.5iC, new.line, tab;
                    195: tab, minimum.lines)
                    196: |environment(index_placement;
                    197: new.page, tab.stops \nWuR,
                    198: set string Ts "INDEX",
                    199: inline off, size +1, center on,
                    200: font bold, string Ts, font roman,
                    201: center off, size -1, inline on,
                    202: minimum.lines,
                    203: clear string Rs,
                    204: contents section 1 Rs Ts;)
                    205: |environment(index_level0;
                    206: indent .2i, indent.line -.2i, protect, text "\&";)
                    207: |environment(index_level1;
                    208: indent .4i, indent.line -.4i, protect, text "\&";)
                    209: |environment(index_level2;
                    210: indent .4i, indent.line -.2i, protect, text "\&";)
                    211: |environment(bullet_list;
                    212: list.type fixed, list.pre "\&", list.format 1, list.post "\s-2\(bu\s+2\ ",
                    213: list.indent "nnn", list on;
                    214: list off)
                    215: |environment(dash_list;
                    216: list.type fixed, list.pre "\&", list.format 1, list.post "\(em\ ",
                    217: list.indent "nnn", list on;
                    218: list off)
                    219: |environment(number_list;
                    220: list.type calculated, list.pre "\&", list.format 1, list.post ".\ \ ",
                    221: list.indent "nnnnn", list on;
                    222: list off)
                    223: |environment(p_number_list;
                    224: list.type calculated, list.pre "(", list.format 1, list.post ")\ \ ",
                    225: list.indent "nnnnn", list on;
                    226: list off)
                    227: |environment(A_list;
                    228: list.type calculated, list.pre "\&", list.format A, list.post ".\ \ ",
                    229: list.indent "nnnnn", list on;
                    230: list off)
                    231: |environment(a_list;
                    232: list.type calculated, list.pre "\&", list.format a, list.post ")\ \ ",
                    233: list.indent "nnnnn", list on;
                    234: list off)
                    235: |environment(p_a_list;
                    236: list.type calculated, list.pre "(", list.format a, list.post ")\ \ ",
                    237: list.indent "nnnnn", list on;
                    238: list off)
                    239: |environment(I_list;
                    240: list.type calculated, list.pre "\&", list.format I, list.post ".\ \ ",
                    241: list.indent "nnnnn", list on;
                    242: list off)
                    243: |environment(i_list;
                    244: list.type calculated, list.pre "\&", list.format i, list.post ")\ \ ",
                    245: list.indent "nnnnn", list on;
                    246: list off)
                    247: |environment(text_list;
                    248: list.type fixed, list.pre "\&", list.format 1, list.post "\ ",
                    249: list.indent "nnnnn", list on;
                    250: list off)
                    251: |associate(item;
                    252: clear string Ts;
                    253: |ifvalue list.spacing on [
                    254: blank.lines .5,
                    255: ]
                    256: |ifvalue list.type fixed [
                    257: add string.from.string Ts l2,
                    258: add string.from.string Ts l4,
                    259: store string Rs l4,
                    260: ]
                    261: |ifvalue list.type calculated [
                    262: incr l0,
                    263: number format.from.string l0 l3,
                    264: add string.from.string Ts l2,
                    265: add string.from.number Ts l0,
                    266: add string.from.string Ts l4,
                    267: store string Rs l2,
                    268: add string.from.number Rs l0,
                    269: ]
                    270: store width l2 l5,
                    271: store width l1 Ts,
                    272: if else begin "\n(l1>\n(l2",
                    273: clear l1, sub l1 l2,
                    274: indent.line number l1,
                    275: if end,
                    276: if else begin,
                    277: clear l2, sub l2 l1,
                    278: indent.line number l2,
                    279: if end,
                    280: string Ts, concatenate;
                    281: [$;;
                    282: set string Ts $])
                    283: |environment(reference;
                    284: verbatim on, reference on;
                    285: sawreference on)
                    286: |environment(reference_database;
                    287: verbatim on, reference database;)
                    288: |environment(reference_include;
                    289: verbatim on, reference include;)
                    290: |environment(reference_list;
                    291: verbatim on, reference list;)
                    292: |environment(reference_placement;
                    293: |ifvalue sawreference on [
                    294: new.page,
                    295: set string Ts "REFERENCES",
                    296: inline off, size +1, center on,
                    297: font bold, string Ts, font roman,
                    298: center off, size -1, inline on,
                    299: minimum.lines,
                    300: clear string Rs,
                    301: contents section 1 Rs Ts,
                    302: reference.placement
                    303: ];
                    304: sawreference off)
                    305: |environment(table;
                    306: verbatim on, file.information, minimum.lines 1, line.spacing 1, adjust off,
                    307: table on;
                    308: minimum.lines 1)
                    309: |environment(table_caption;
                    310: divert.string Ts;
                    311: incr TB, minimum.lines 1, center on, font bold,
                    312: text "Table ", number TB, text ". ", font roman,
                    313: string Ts, center off, minimum.lines 1,
                    314: store string.from.number Rs TB,
                    315: contents table 1 Rs Ts)
                    316: |environment(picture;
                    317: verbatim on, file.information, minimum.lines 1, line.spacing 1, fill off, picture on;
                    318: minimum.lines 1)
                    319: |environment(picture_caption;
                    320: divert.string Ts;
                    321: incr FG, minimum.lines 1, center on, font bold,
                    322: text "Figure ", number FG, text ". ", font roman,
                    323: string Ts, center off, minimum.lines 1,
                    324: store string.from.number Rs FG,
                    325: contents figure 1 Rs Ts)
                    326: |environment(ped;
                    327: verbatim on, file.information, minimum.lines 1, line.spacing 1, ped on;
                    328: minimum.lines 1)
                    329: |environment(ped_caption;
                    330: divert.string Ts;
                    331: incr FG, minimum.lines 1, center on, font bold,
                    332: text "Figure ", number FG, text ". ", font roman,
                    333: string Ts, center off, minimum.lines 1,
                    334: store string.from.number Rs FG,
                    335: contents figure 1 Rs Ts)
                    336: |environment(ideal;
                    337: verbatim on, file.information, minimum.lines 1, line.spacing 1, ideal on;
                    338: minimum.lines 1)
                    339: |environment(ideal_caption;
                    340: divert.string Ts;
                    341: incr FG, minimum.lines 1, center on, font bold,
                    342: text "Figure ", number FG, text ". ", font roman,
                    343: string Ts, center off, minimum.lines 1,
                    344: store string.from.number Rs FG,
                    345: contents figure 1 Rs Ts)
                    346: |environment(equation;
                    347: verbatim on, file.information, minimum.lines 1, line.spacing 1,
                    348: equation on;
                    349: clear string ES, minimum.lines 1)
                    350: |environment(equation_caption;
                    351: divert.string Ts;
                    352: incr FG, minimum.lines 1, center on, font bold,
                    353: text "Figure ", number FG, text ". ", font roman,
                    354: string Ts, center off, minimum.lines 1,
                    355: store string.from.number Rs FG,
                    356: contents figure 1 Rs Ts)
                    357: |environment(equation_number;
                    358: divert.string ES;
                    359: store string Rs ES)
                    360: |environment(e;
                    361: |ifvalue verbatim off [
                    362: concatenate, file.information,
                    363: ]
                    364: inline.equation on;)
                    365: |environment(graph;
                    366: verbatim on, file.information, minimum.lines 1, line.spacing 1, graph on;
                    367: minimum.lines 1)
                    368: |environment(graph_caption;
                    369: divert.string Ts;
                    370: incr FG, minimum.lines 1, center on, font bold,
                    371: text "Figure ", number FG, text ". ", font roman,
                    372: string Ts, center off, minimum.lines 1,
                    373: store string.from.number Rs FG,
                    374: contents figure 1 Rs Ts)
                    375: |environment(bargraph;
                    376: verbatim on, file.information, minimum.lines 1, line.spacing 1, bargraph on;
                    377: minimum.lines 1)
                    378: |environment(bargraph_caption;
                    379: divert.string Ts;
                    380: incr FG, minimum.lines 1, center on, font bold,
                    381: text "Figure ", number FG, text ". ", font roman,
                    382: string Ts, center off, minimum.lines 1,
                    383: store string.from.number Rs FG,
                    384: contents figure 1 Rs Ts)
                    385: |environment(save;
                    386: verbatim on, citation save on;
                    387: citation save off string Rs)
                    388: |environment(savepage;
                    389: verbatim on, citation save on;
                    390: citation save off number P)
                    391: |associate(savestring;;;
                    392: [$name $string;
                    393: set string Ts $string,
                    394: citation save string $name Ts;])
                    395: |environment(remember;
                    396: verbatim on, citation remember on;
                    397: citation remember off)
                    398: |environment(index;
                    399: index on;)
                    400: |environment(figure;
                    401: verbatim on, file.information, minimum.lines 1, line.spacing 1, fill off;
                    402: minimum.lines 1)
                    403: |environment(figure_caption;
                    404: divert.string Ts;
                    405: incr FG, minimum.lines 1, center on, font bold,
                    406: text "Figure ", number FG, text ". ", font roman,
                    407: string Ts, center off, minimum.lines 1,
                    408: store string.from.number Rs FG,
                    409: contents figure 1 Rs Ts)
                    410: |environment(computeroutput;
                    411: verbatim on, file.information, minimum.lines 1, line.spacing 1,
                    412: fill off, size -1, space -1, computeroutput on;
                    413: SPACE, minimum.lines 1)
                    414: |environment(computeroutput_caption;
                    415: divert.string Ts;
                    416: incr FG, minimum.lines 1, center on, font bold,
                    417: text "Figure ", number FG, text ". ", font roman,
                    418: string Ts, center off, minimum.lines 1,
                    419: store string.from.number Rs FG,
                    420: contents figure 1 Rs Ts)
                    421: |environment(ipa;
                    422: |ifvalue verbatim off [
                    423: concatenate, file.information,
                    424: ]
                    425: ipa on;)
                    426: |environment(chapter;
                    427: new.page, spacing on, blank.lines 2i,
                    428: incr CH,
                    429: clear S0 S1 S2
                    430: S3,
                    431: set string Ts "Chapter ",
                    432: add string.from.number Ts CH,
                    433: inline off, size +10, font.family helvetica,
                    434: tab.stops \nWuR,
                    435: tab, string Ts,
                    436: divert.string Ts;
                    437: sectioning bychapter,
                    438: inline off, size +4, font.family helvetica, blank.lines .25i,
                    439: tab.stops \nWuR,
                    440: font bold, tab, string Ts, new.line,
                    441: font roman, font.family times, size -4, inline on,
                    442: minimum.lines 1.25i, paragraph,
                    443: store string.from.number Rs CH,
                    444: contents section 1 Rs Ts)
                    445: |environment(section;
                    446: divert.string Ts;
                    447: minimum.lines 2, protect, incr S0,
                    448: clear S1 S2 S3,
                    449: font bold,
                    450: |ifvalue sectioning bychapter [
                    451: number CH, text ".",
                    452: ]
                    453: |ifvalue sectioning byappendix [
                    454: number AC, text ".",
                    455: ]
                    456: number S0,
                    457: |ifvalue sectioning bysection [
                    458: text ".",
                    459: ]
                    460: text " ", string Ts, font roman,
                    461: paragraph,
                    462: clear string Rs,
                    463: |ifvalue sectioning bychapter [
                    464: store string.from.number Rs CH,
                    465: add string Rs ".",
                    466: ]
                    467: |ifvalue sectioning byappendix [
                    468: store string.from.number Rs AC,
                    469: add string Rs ".",
                    470: ]
                    471: add string.from.number Rs S0,
                    472: |ifvalue sectioning bysection [
                    473: contents section 1 Rs Ts,
                    474: ]
                    475: |ifvalue sectioning bychapter [
                    476: contents section 2 Rs Ts,
                    477: ]
                    478: |ifvalue sectioning byappendix [
                    479: contents section 2 Rs Ts,
                    480: ])
                    481: |environment(subsection;
                    482: divert.string Ts;
                    483: minimum.lines, protect, incr S1,
                    484: clear S2 S3,
                    485: font bold,
                    486: |ifvalue sectioning bychapter [
                    487: number CH, text ".",
                    488: ]
                    489: |ifvalue sectioning byappendix [
                    490: number AC, text ".",
                    491: ]
                    492: number S0, text ".",
                    493: number S1, text " ", string Ts, font roman,
                    494: paragraph,
                    495: clear string Rs,
                    496: |ifvalue sectioning bychapter [
                    497: store string.from.number Rs CH,
                    498: add string Rs ".",
                    499: ]
                    500: |ifvalue sectioning byappendix [
                    501: store string.from.number Rs AC,
                    502: add string Rs ".",
                    503: ]
                    504: add string.from.number Rs S0,
                    505: add string Rs ".",
                    506: add string.from.number Rs S1,
                    507: |ifvalue sectioning bysection [
                    508: contents section 2 Rs Ts,
                    509: ]
                    510: |ifvalue sectioning bychapter [
                    511: contents section 3 Rs Ts,
                    512: ]
                    513: |ifvalue sectioning byappendix [
                    514: contents section 3 Rs Ts,
                    515: ])
                    516: |environment(subsubsection;
                    517: divert.string Ts;
                    518: minimum.lines, protect, incr S2,
                    519: clear S3,
                    520: font italics,
                    521: |ifvalue sectioning bychapter [
                    522: number CH, text ".",
                    523: ]
                    524: |ifvalue sectioning byappendix [
                    525: number AC, text ".",
                    526: ]
                    527: number S0, text ".",
                    528: number S1, text ".",
                    529: number S2, text " ", string Ts, font roman,
                    530: clear string Rs,
                    531: |ifvalue sectioning bychapter [
                    532: store string.from.number Rs CH,
                    533: add string Rs ".",
                    534: ]
                    535: |ifvalue sectioning byappendix [
                    536: store string.from.number Rs AC,
                    537: add string Rs ".",
                    538: ]
                    539: add string.from.number Rs S0,
                    540: add string Rs ".",
                    541: add string.from.number Rs S1,
                    542: add string Rs ".",
                    543: add string.from.number Rs S2,
                    544: |ifvalue sectioning bysection [
                    545: contents section 3 Rs Ts,
                    546: ]
                    547: |ifvalue sectioning bychapter [
                    548: contents section 4 Rs Ts,
                    549: ]
                    550: |ifvalue sectioning byappendix [
                    551: contents section 4 Rs Ts,
                    552: ])
                    553: |associate(paragraph;
                    554: minimum.lines;
                    555: |ifvalue localparagraph.style indented [
                    556: indent.line +3,
                    557: ]
                    558: |ifvalue localparagraph.style numbered [
                    559: incr S3, number format S3 i,
                    560: store string.from.number Ts S3,
                    561: add string Ts ") ",
                    562: string italics Ts,
                    563: ]
                    564: |ifvalue globalparagraph.style indented [
                    565: localparagraph.style indented,
                    566: ]
                    567: |ifvalue globalparagraph.style numbered [
                    568: localparagraph.style numbered,
                    569: ]
                    570: |ifvalue globalparagraph.style flushed [
                    571: localparagraph.style flushed,
                    572: ];
                    573: [numbered;;
                    574: localparagraph.style numbered]
                    575: [n;;
                    576: localparagraph.style numbered]
                    577: [indented;;
                    578: localparagraph.style indented]
                    579: [i;;
                    580: localparagraph.style indented]
                    581: [flushed;;
                    582: localparagraph.style flushed]
                    583: [f;;
                    584: localparagraph.style flushed])
                    585: |associate(p;
                    586: minimum.lines;
                    587: |ifvalue localparagraph.style indented [
                    588: indent.line +3,
                    589: ]
                    590: |ifvalue localparagraph.style numbered [
                    591: incr S3, number format S3 i,
                    592: store string.from.number Ts S3,
                    593: add string Ts ") ",
                    594: string italics Ts,
                    595: ]
                    596: |ifvalue globalparagraph.style indented [
                    597: localparagraph.style indented,
                    598: ]
                    599: |ifvalue globalparagraph.style numbered [
                    600: localparagraph.style numbered,
                    601: ]
                    602: |ifvalue globalparagraph.style flushed [
                    603: localparagraph.style flushed,
                    604: ];
                    605: [numbered;;
                    606: localparagraph.style numbered]
                    607: [n;;
                    608: localparagraph.style numbered]
                    609: [indented;;
                    610: localparagraph.style indented]
                    611: [i;;
                    612: localparagraph.style indented]
                    613: [flushed;;
                    614: localparagraph.style flushed]
                    615: [f;;
                    616: localparagraph.style flushed])
                    617: |environment(appendix;
                    618: new.page, spacing on, blank.lines 4,
                    619: number format AC A, incr AC,
                    620: clear S0 S1 S2
                    621: S3,
                    622: set string Rs "Appendix ",
                    623: add string.from.number Rs AC,
                    624: divert.string Ts;
                    625: sectioning byappendix,
                    626: center on, size +1, font bold,
                    627: string Rs, blank.lines, string Ts,
                    628: font roman, size -1, center off,
                    629: minimum.lines 4, paragraph,
                    630: store string.from.number Rs AC,
                    631: contents section 1 Rs Ts)
                    632: |environment(unnumbered_chapter;
                    633: new.page, spacing on, blank.lines 2i,
                    634: divert.string Ts;
                    635: sectioning bychapter,
                    636: inline off, size +4, font.family helvetica, blank.lines .25i,
                    637: tab.stops \nWuR,
                    638: font bold, tab, string Ts, new.line,
                    639: font roman, font.family times, size -4, inline on,
                    640: minimum.lines 1.25i, paragraph,
                    641: clear string Rs,
                    642: contents section 1 Rs Ts)
                    643: |environment(unnumbered_section;
                    644: divert.string Ts;
                    645: minimum.lines 2, protect, font bold,
                    646: string Ts, font roman,
                    647: paragraph,
                    648: clear string Rs,
                    649: |ifvalue sectioning bysection [
                    650: contents section 1 Rs Ts,
                    651: ]
                    652: |ifvalue sectioning bychapter [
                    653: contents section 2 Rs Ts,
                    654: ]
                    655: |ifvalue sectioning byappendix [
                    656: contents section 2 Rs Ts,
                    657: ])
                    658: |environment(unnumbered_subsection;
                    659: divert.string Ts;
                    660: minimum.lines, protect, font bold,
                    661: string Ts, font roman,
                    662: paragraph,
                    663: clear string Rs,
                    664: |ifvalue sectioning bysection [
                    665: contents section 2 Rs Ts,
                    666: ]
                    667: |ifvalue sectioning bychapter [
                    668: contents section 3 Rs Ts,
                    669: ]
                    670: |ifvalue sectioning byappendix [
                    671: contents section 3 Rs Ts,
                    672: ])
                    673: |environment(unnumbered_subsubsection;
                    674: divert.string Ts;
                    675: minimum.lines, protect, font italics,
                    676: string Ts, font roman,
                    677: clear string Rs,
                    678: |ifvalue sectioning bysection [
                    679: contents section 3 Rs Ts,
                    680: ]
                    681: |ifvalue sectioning bychapter [
                    682: contents section 4 Rs Ts,
                    683: ]
                    684: |ifvalue sectioning byappendix [
                    685: contents section 4 Rs Ts,
                    686: ])
                    687: |environment(unnumbered_appendix;
                    688: divert.string Ts;
                    689: new.page, spacing on, blank.lines 4,
                    690: sectioning byappendix,
                    691: center on, size +1, font bold,
                    692: string Ts,
                    693: font roman, size -1, center off,
                    694: minimum.lines 4, paragraph,
                    695: store string.from.number Rs AC,
                    696: contents section 1 Rs Ts)
                    697: |associate(set_counter;;;
                    698: [page $;;
                    699: set P $]
                    700: [chapter $;;
                    701: set CH $]
                    702: [section $;;
                    703: set S0 $]
                    704: [subsection $;;
                    705: set S1 $]
                    706: [subsubsection $;;
                    707: set S2 $]
                    708: [paragraph $;;
                    709: set S3 $]
                    710: [appendix $;;
                    711: set AC $]
                    712: [figure $;;
                    713: set FG $]
                    714: [table $;;
                    715: set TB $]
                    716: [footnote $;;
                    717: set FN $]
                    718: [note $;;
                    719: set NN $])
                    720: |associate(set_string;;;
                    721: [page_headers $;;
                    722: set string PH $]
                    723: [even_headers $;;
                    724: set string EH $]
                    725: [odd_headers $;;
                    726: set string OH $]
                    727: [page_footers $;;
                    728: set string PF $]
                    729: [even_footers $;;
                    730: set string EF $]
                    731: [odd_footers $;;
                    732: set string OF $])
                    733: |associate(sp;;;
                    734: [|;; text "|"]
                    735: [|s;; text "|\^"]
                    736: [\;; text "\e"]
                    737: [.;; text "\."]
                    738: [space;; text "\ "]
                    739: [digit space;; text "\0"]
                    740: [narrow space;; text "\|\&"]
                    741: [half narrow space;; text "\^"]
                    742: [zero width space;; text "\&"]
                    743: [hyphenation;; text "\%"]
                    744: [leader;; text "&"]
                    745: [interrupt text processing;; text "\c"]
                    746: [down;; text "\d"]
                    747: [break and spread;; text "\p"]
                    748: [reverse;; text "\r"]
                    749: [tab;; text "\t"]
                    750: [up;; text "\u"]
                    751: [conceal new line;; text "\"]
                    752: [close quote;; text "'"]
                    753: [open quote;; text "`"]
                    754: [Em dash;; text "\(em"]
                    755: [hyphen or;; text "-"]
                    756: [hyphen;; text "\(hy"]
                    757: [minus;; text "\-"]
                    758: [bullet;; text "\(bu"]
                    759: [square;; text "\(sq"]
                    760: [rule;; text "\(ru"]
                    761: [quarter;; text "\(14"]
                    762: [half;; text "\(12"]
                    763: [3quarter;; text "\(34"]
                    764: [fi;; text "\(fi"]
                    765: [fl;; text "\(fl"]
                    766: [ff;; text "\(ff"]
                    767: [ffi;; text "\(Fi"]
                    768: [ffl;; text "\(Fl"]
                    769: [degree;; text "\(de"]
                    770: [dagger;; text "\(dg"]
                    771: [footmark;; text "\(fm"]
                    772: [cent;; text "\(ct"]
                    773: [registered;; text "\(rg"]
                    774: [copyright;; text "\(co"]
                    775: [=;; text "\(eq"]
                    776: [+;; text "\(pl"]
                    777: [-;; text "\(mi"]
                    778: [*;; text "\(**"]
                    779: [section;; text "\(sc"]
                    780: [acute;; text "\(aa"]
                    781: [grave;; text "\(ga"]
                    782: [underrule;; text "\(ul"]
                    783: [/;; text "\(sl"]
                    784: [alpha;; text "\(*a"]
                    785: [beta;; text "\(*b"]
                    786: [gamma;; text "\(*g"]
                    787: [delta;; text "\(*d"]
                    788: [epsilon;; text "\(*e"]
                    789: [zeta;; text "\(*z"]
                    790: [eta;; text "\(*y"]
                    791: [theta;; text "\(*h"]
                    792: [iota;; text "\(*i"]
                    793: [kappa;; text "\(*k"]
                    794: [lambda;; text "\(*l"]
                    795: [mu;; text "\(*m"]
                    796: [nu;; text "\(*n"]
                    797: [xi;; text "\(*c"]
                    798: [omicron;; text "\(*o"]
                    799: [pi;; text "\(*p"]
                    800: [rho;; text "\(*r"]
                    801: [sigma;; text "\(*s"]
                    802: [terminal sigma;; text "\(ts"]
                    803: [tau;; text "\(*t"]
                    804: [upsilon;; text "\(*u"]
                    805: [phi;; text "\(*f"]
                    806: [chi;; text "\(*x"]
                    807: [psi;; text "\(*q"]
                    808: [omega;; text "\(*w"]
                    809: [ALPHA;; text "\(*A"]
                    810: [BETA;; text "\(*B"]
                    811: [GAMMA;; text "\(*G"]
                    812: [DELTA;; text "\(*D"]
                    813: [EPSILON;; text "\(*E"]
                    814: [ZETA;; text "\(*Z"]
                    815: [ETA;; text "\(*Y"]
                    816: [THETA;; text "\(*H"]
                    817: [IOTA;; text "\(*I"]
                    818: [KAPPA;; text "\(*K"]
                    819: [LAMBDA;; text "\(*L"]
                    820: [MU;; text "\(*M"]
                    821: [NU;; text "\(*N"]
                    822: [XI;; text "\(*C"]
                    823: [OMICRON;; text "\(*O"]
                    824: [PI;; text "\(*P"]
                    825: [RHO;; text "\(*R"]
                    826: [SIGMA;; text "\(*S"]
                    827: [TAU;; text "\(*T"]
                    828: [UPSILON;; text "\(*U"]
                    829: [PHI;; text "\(*F"]
                    830: [CHI;; text "\(*X"]
                    831: [PSI;; text "\(*Q"]
                    832: [OMEGA;; text "\(*W"]
                    833: [>=;; text "\(>="]
                    834: [<=;; text "\(<="]
                    835: [==;; text "\(=="]
                    836: [-wig;; text "\(~="]
                    837: [wig;; text "\(ap"]
                    838: [!=;; text "\(!="]
                    839: [->;; text "\(->"]
                    840: [<-;; text "\(<-"]
                    841: [uarrow;; text "\(ua"]
                    842: [darrow;; text "\(da"]
                    843: [times;; text "\(mu"]
                    844: [divide;; text "\(di"]
                    845: [+-;; text "\(+-"]
                    846: [cup;; text "\(cu"]
                    847: [cap;; text "\(ca"]
                    848: [subset;; text "\(sb"]
                    849: [superset;; text "\(sp"]
                    850: [isubset;; text "\(ib"]
                    851: [isuperset;; text "\(ip"]
                    852: [inf;; text "\(if"]
                    853: [partial;; text "\(pd"]
                    854: [del;; text "\(gr"]
                    855: [not;; text "\(no"]
                    856: [integral;; text "\(is"]
                    857: [prop;; text "\(pt"]
                    858: [empty;; text "\(es"]
                    859: [member;; text "\(mo"]
                    860: [box vertical rule;; text "\(br"]
                    861: [double dagger;; text "\(dd"]
                    862: [rhand;; text "\(rh"]
                    863: [lhand;; text "\(lh"]
                    864: [ATT logo;; text "\*(LO"]
                    865: [or;; text "\(or"]
                    866: [circle;; text "\(ci"]
                    867: [bold vertical;; text "\(bv"]
                    868: [lfloor;; text "\(lf"]
                    869: [rfloor;; text "\(rf"]
                    870: [lceil;; text "\(lc"]
                    871: [rceil;; text "\(rc"]
                    872: [lower case grave;; text "\*`"]
                    873: [lower case acute;; text "\*'"]
                    874: [upper case acute;; text "\*+"]
                    875: [circumflex;; text "\*^"]
                    876: [tilde;; text "\*~"]
                    877: [cedilla;; text "\*,"]
                    878: [lower case umlaut;; text "\*:"]
                    879: [upper case umlaut;; text "\*;"]
                    880: [nasal;; text "\*-"]
                    881: [slashed;; text "\*/"]
                    882: [TEX;; text "\s-1T\v'.17m'\h'-.12m'E\h'-.12m'\v'-.17m'X\s+1"]
                    883: [LATEX;; text "\s-1L\h'-.12m'\v'-.17m'A\v'.17m'\h'-.12m'T\v'.17m'\h'-.12m'E\h'-.12m'\v'-.17m'X\s+1"]
                    884: [TM;; text "\v'-0.5m'\s-4TM\s+4\v'0.5m'"])
                    885: |associate(style;;;
                    886: [one_column;;
                    887: column off]
                    888: [multi_column;;
                    889: column on]
                    890: [two_column;;
                    891: column 2]
                    892: [page_width $;;
                    893: line.length $]
                    894: [page_length $;;
                    895: page.length $]
                    896: [page_offset $;;
                    897: page.offset $]
                    898: [font_size 1;;
                    899: inline off, size 1, inline on, space 3]
                    900: [font_size 2;;
                    901: inline off, size 2, inline on, space 4]
                    902: [font_size 3;;
                    903: inline off, size 3, inline on, space 5]
                    904: [font_size 4;;
                    905: inline off, size 4, inline on, space 6]
                    906: [font_size 5;;
                    907: inline off, size 5, inline on, space 7]
                    908: [font_size 6;;
                    909: inline off, size 6, inline on, space 8]
                    910: [font_size 7;;
                    911: inline off, size 7, inline on, space 9]
                    912: [font_size 8;;
                    913: inline off, size 8, inline on, space 10]
                    914: [font_size 9;;
                    915: inline off, size 9, inline on, space 11]
                    916: [font_size 10;;
                    917: inline off, size 10, inline on, space 12]
                    918: [font_size 11;;
                    919: inline off, size 11, inline on, space 13]
                    920: [font_size 12;;
                    921: inline off, size 12, inline on, space 14]
                    922: [font_size 13;;
                    923: inline off, size 13, inline on, space 15]
                    924: [font_size 14;;
                    925: inline off, size 14, inline on, space 16]
                    926: [font_size 15;;
                    927: inline off, size 15, inline on, space 17]
                    928: [font_size 16;;
                    929: inline off, size 16, inline on, space 18]
                    930: [font_size 17;;
                    931: inline off, size 17, inline on, space 19]
                    932: [font_size 18;;
                    933: inline off, size 18, inline on, space 20]
                    934: [font_size 19;;
                    935: inline off, size 19, inline on, space 21]
                    936: [font_size 20;;
                    937: inline off, size 20, inline on, space 22]
                    938: [font_size 21;;
                    939: inline off, size 21, inline on, space 23]
                    940: [font_size 22;;
                    941: inline off, size 22, inline on, space 24]
                    942: [font_size 23;;
                    943: inline off, size 23, inline on, space 25]
                    944: [font_size 24;;
                    945: inline off, size 24, inline on, space 26]
                    946: [font_size 25;;
                    947: inline off, size 25, inline on, space 27]
                    948: [font_size 26;;
                    949: inline off, size 26, inline on, space 28]
                    950: [font_size 27;;
                    951: inline off, size 27, inline on, space 29]
                    952: [font_size 28;;
                    953: inline off, size 28, inline on, space 30]
                    954: [font_size 29;;
                    955: inline off, size 29, inline on, space 31]
                    956: [font_size 30;;
                    957: inline off, size 30, inline on, space 32]
                    958: [font_size 31;;
                    959: inline off, size 31, inline on, space 33]
                    960: [font_size 32;;
                    961: inline off, size 32, inline on, space 34]
                    962: [font_size 33;;
                    963: inline off, size 33, inline on, space 35]
                    964: [font_size 34;;
                    965: inline off, size 34, inline on, space 36]
                    966: [font_size 35;;
                    967: inline off, size 35, inline on, space 37]
                    968: [font_size 36;;
                    969: inline off, size 36, inline on, space 38]
                    970: [font_size 1 1;;
                    971: inline off, size 1, inline on, space 1]
                    972: [font_size 2 2;;
                    973: inline off, size 2, inline on, space 2]
                    974: [font_size 3 3;;
                    975: inline off, size 3, inline on, space 3]
                    976: [font_size 4 4;;
                    977: inline off, size 4, inline on, space 4]
                    978: [font_size 5 5;;
                    979: inline off, size 5, inline on, space 5]
                    980: [font_size 6 6;;
                    981: inline off, size 6, inline on, space 6]
                    982: [font_size 7 7;;
                    983: inline off, size 7, inline on, space 7]
                    984: [font_size 8 8;;
                    985: inline off, size 8, inline on, space 8]
                    986: [font_size 9 9;;
                    987: inline off, size 9, inline on, space 9]
                    988: [font_size 10 10;;
                    989: inline off, size 10, inline on, space 10]
                    990: [font_size 11 11;;
                    991: inline off, size 11, inline on, space 11]
                    992: [font_size 12 12;;
                    993: inline off, size 12, inline on, space 12]
                    994: [font_size 13 13;;
                    995: inline off, size 13, inline on, space 13]
                    996: [font_size 14 14;;
                    997: inline off, size 14, inline on, space 14]
                    998: [font_size 15 15;;
                    999: inline off, size 15, inline on, space 15]
                   1000: [font_size 16 16;;
                   1001: inline off, size 16, inline on, space 16]
                   1002: [font_size 17 17;;
                   1003: inline off, size 17, inline on, space 17]
                   1004: [font_size 18 18;;
                   1005: inline off, size 18, inline on, space 18]
                   1006: [font_size 19 19;;
                   1007: inline off, size 19, inline on, space 19]
                   1008: [font_size 20 20;;
                   1009: inline off, size 20, inline on, space 20]
                   1010: [font_size 21 21;;
                   1011: inline off, size 21, inline on, space 21]
                   1012: [font_size 22 22;;
                   1013: inline off, size 22, inline on, space 22]
                   1014: [font_size 23 23;;
                   1015: inline off, size 23, inline on, space 23]
                   1016: [font_size 24 24;;
                   1017: inline off, size 24, inline on, space 24]
                   1018: [font_size 25 25;;
                   1019: inline off, size 25, inline on, space 25]
                   1020: [font_size 26 26;;
                   1021: inline off, size 26, inline on, space 26]
                   1022: [font_size 27 27;;
                   1023: inline off, size 27, inline on, space 27]
                   1024: [font_size 28 28;;
                   1025: inline off, size 28, inline on, space 28]
                   1026: [font_size 29 29;;
                   1027: inline off, size 29, inline on, space 29]
                   1028: [font_size 30 30;;
                   1029: inline off, size 30, inline on, space 30]
                   1030: [font_size 31 31;;
                   1031: inline off, size 31, inline on, space 31]
                   1032: [font_size 32 32;;
                   1033: inline off, size 32, inline on, space 32]
                   1034: [font_size 33 33;;
                   1035: inline off, size 33, inline on, space 33]
                   1036: [font_size 34 34;;
                   1037: inline off, size 34, inline on, space 34]
                   1038: [font_size 35 35;;
                   1039: inline off, size 35, inline on, space 35]
                   1040: [font_size 36 36;;
                   1041: inline off, size 36, inline on, space 36]
                   1042: [font_size 1 2;;
                   1043: inline off, size 1, inline on, space 2]
                   1044: [font_size 2 3;;
                   1045: inline off, size 2, inline on, space 3]
                   1046: [font_size 3 4;;
                   1047: inline off, size 3, inline on, space 4]
                   1048: [font_size 4 5;;
                   1049: inline off, size 4, inline on, space 5]
                   1050: [font_size 5 6;;
                   1051: inline off, size 5, inline on, space 6]
                   1052: [font_size 6 7;;
                   1053: inline off, size 6, inline on, space 7]
                   1054: [font_size 7 8;;
                   1055: inline off, size 7, inline on, space 8]
                   1056: [font_size 8 9;;
                   1057: inline off, size 8, inline on, space 9]
                   1058: [font_size 9 10;;
                   1059: inline off, size 9, inline on, space 10]
                   1060: [font_size 10 11;;
                   1061: inline off, size 10, inline on, space 11]
                   1062: [font_size 11 12;;
                   1063: inline off, size 11, inline on, space 12]
                   1064: [font_size 12 13;;
                   1065: inline off, size 12, inline on, space 13]
                   1066: [font_size 13 14;;
                   1067: inline off, size 13, inline on, space 14]
                   1068: [font_size 14 15;;
                   1069: inline off, size 14, inline on, space 15]
                   1070: [font_size 15 16;;
                   1071: inline off, size 15, inline on, space 16]
                   1072: [font_size 16 17;;
                   1073: inline off, size 16, inline on, space 17]
                   1074: [font_size 17 18;;
                   1075: inline off, size 17, inline on, space 18]
                   1076: [font_size 18 19;;
                   1077: inline off, size 18, inline on, space 19]
                   1078: [font_size 19 20;;
                   1079: inline off, size 19, inline on, space 20]
                   1080: [font_size 20 21;;
                   1081: inline off, size 20, inline on, space 21]
                   1082: [font_size 21 22;;
                   1083: inline off, size 21, inline on, space 22]
                   1084: [font_size 22 23;;
                   1085: inline off, size 22, inline on, space 23]
                   1086: [font_size 23 24;;
                   1087: inline off, size 23, inline on, space 24]
                   1088: [font_size 24 25;;
                   1089: inline off, size 24, inline on, space 25]
                   1090: [font_size 25 26;;
                   1091: inline off, size 25, inline on, space 26]
                   1092: [font_size 26 27;;
                   1093: inline off, size 26, inline on, space 27]
                   1094: [font_size 27 28;;
                   1095: inline off, size 27, inline on, space 28]
                   1096: [font_size 28 29;;
                   1097: inline off, size 28, inline on, space 29]
                   1098: [font_size 29 30;;
                   1099: inline off, size 29, inline on, space 30]
                   1100: [font_size 30 31;;
                   1101: inline off, size 30, inline on, space 31]
                   1102: [font_size 31 32;;
                   1103: inline off, size 31, inline on, space 32]
                   1104: [font_size 32 33;;
                   1105: inline off, size 32, inline on, space 33]
                   1106: [font_size 33 34;;
                   1107: inline off, size 33, inline on, space 34]
                   1108: [font_size 34 35;;
                   1109: inline off, size 34, inline on, space 35]
                   1110: [font_size 35 36;;
                   1111: inline off, size 35, inline on, space 36]
                   1112: [font_size 36 37;;
                   1113: inline off, size 36, inline on, space 37]
                   1114: [font_size 1 3;;
                   1115: inline off, size 1, inline on, space 3]
                   1116: [font_size 2 4;;
                   1117: inline off, size 2, inline on, space 4]
                   1118: [font_size 3 5;;
                   1119: inline off, size 3, inline on, space 5]
                   1120: [font_size 4 6;;
                   1121: inline off, size 4, inline on, space 6]
                   1122: [font_size 5 7;;
                   1123: inline off, size 5, inline on, space 7]
                   1124: [font_size 6 8;;
                   1125: inline off, size 6, inline on, space 8]
                   1126: [font_size 7 9;;
                   1127: inline off, size 7, inline on, space 9]
                   1128: [font_size 8 10;;
                   1129: inline off, size 8, inline on, space 10]
                   1130: [font_size 9 11;;
                   1131: inline off, size 9, inline on, space 11]
                   1132: [font_size 10 12;;
                   1133: inline off, size 10, inline on, space 12]
                   1134: [font_size 11 13;;
                   1135: inline off, size 11, inline on, space 13]
                   1136: [font_size 12 14;;
                   1137: inline off, size 12, inline on, space 14]
                   1138: [font_size 13 15;;
                   1139: inline off, size 13, inline on, space 15]
                   1140: [font_size 14 16;;
                   1141: inline off, size 14, inline on, space 16]
                   1142: [font_size 15 17;;
                   1143: inline off, size 15, inline on, space 17]
                   1144: [font_size 16 18;;
                   1145: inline off, size 16, inline on, space 18]
                   1146: [font_size 17 19;;
                   1147: inline off, size 17, inline on, space 19]
                   1148: [font_size 18 20;;
                   1149: inline off, size 18, inline on, space 20]
                   1150: [font_size 19 21;;
                   1151: inline off, size 19, inline on, space 21]
                   1152: [font_size 20 22;;
                   1153: inline off, size 20, inline on, space 22]
                   1154: [font_size 21 23;;
                   1155: inline off, size 21, inline on, space 23]
                   1156: [font_size 22 24;;
                   1157: inline off, size 22, inline on, space 24]
                   1158: [font_size 23 25;;
                   1159: inline off, size 23, inline on, space 25]
                   1160: [font_size 24 26;;
                   1161: inline off, size 24, inline on, space 26]
                   1162: [font_size 25 27;;
                   1163: inline off, size 25, inline on, space 27]
                   1164: [font_size 26 28;;
                   1165: inline off, size 26, inline on, space 28]
                   1166: [font_size 27 29;;
                   1167: inline off, size 27, inline on, space 29]
                   1168: [font_size 28 30;;
                   1169: inline off, size 28, inline on, space 30]
                   1170: [font_size 29 31;;
                   1171: inline off, size 29, inline on, space 31]
                   1172: [font_size 30 32;;
                   1173: inline off, size 30, inline on, space 32]
                   1174: [font_size 31 33;;
                   1175: inline off, size 31, inline on, space 33]
                   1176: [font_size 32 34;;
                   1177: inline off, size 32, inline on, space 34]
                   1178: [font_size 33 35;;
                   1179: inline off, size 33, inline on, space 35]
                   1180: [font_size 34 36;;
                   1181: inline off, size 34, inline on, space 36]
                   1182: [font_size 35 37;;
                   1183: inline off, size 35, inline on, space 37]
                   1184: [font_size 36 38;;
                   1185: inline off, size 36, inline on, space 38]
                   1186: [font_family times;;
                   1187: font.family times]
                   1188: [font_family palatino;;
                   1189: font.family palatino]
                   1190: [font_family bembo;;
                   1191: font.family bembo]
                   1192: [font_family optima;;
                   1193: font.family optima]
                   1194: [font_family souvenir;;
                   1195: font.family souvenir]
                   1196: [font_family helvetica;;
                   1197: font.family helvetica]
                   1198: [font_family cw;;
                   1199: font.family cw]
                   1200: [font_family gothic;;
                   1201: font.family gothic]
                   1202: [font_family condensed;;
                   1203: font.family condensed]
                   1204: [font_family narrow;;
                   1205: font.family narrow]
                   1206: [triple_space;;
                   1207: line.spacing 3]
                   1208: [double_space;;
                   1209: line.spacing 2]
                   1210: [1_5_space;;
                   1211: line.spacing 1.5]
                   1212: [single_space;;
                   1213: line.spacing 1]
                   1214: [paragraph_style indented;;
                   1215: globalparagraph.style indented, localparagraph.style indented]
                   1216: [paragraph_style numbered;;
                   1217: globalparagraph.style numbered, localparagraph.style numbered]
                   1218: [paragraph_style flushed;;
                   1219: globalparagraph.style flushed, localparagraph.style flushed]
                   1220: [list_spacing on;;
                   1221: list.spacing on]
                   1222: [list_spacing off;;
                   1223: list.spacing off]
                   1224: [reference acm;;
                   1225: reference.style acm]
                   1226: [reference apa;;
                   1227: reference.style apa]
                   1228: [reference att;;
                   1229: reference.style att]
                   1230: [reference ieee;;
                   1231: reference.style ieee]
                   1232: [reference lsa;;
                   1233: reference.style lsa]
                   1234: [reference pami;;
                   1235: reference.style pami]
                   1236: [reference spectrum;;
                   1237: reference.style spectrum]
                   1238: [reference_option tm;;
                   1239: reference.option tm]
                   1240: [reference_option rp;;
                   1241: reference.option rp]
                   1242: [reference_option nroff;;
                   1243: reference.option nroff]
                   1244: [reference_option troff;;
                   1245: reference.option troff]
                   1246: [reference_option sort;;
                   1247: reference.option sort]
                   1248: [reference_option sequence;;
                   1249: reference.option sequence]
                   1250: [reference_option a;;
                   1251: reference.option a]
                   1252: [reference_option d;;
                   1253: reference.option d]
                   1254: [reference_option t;;
                   1255: reference.option t]
                   1256: [reference_option ad;;
                   1257: reference.option ad]
                   1258: [reference_option at;;
                   1259: reference.option at]
                   1260: [reference_option da;;
                   1261: reference.option da]
                   1262: [reference_option dt;;
                   1263: reference.option dt]
                   1264: [reference_option ta;;
                   1265: reference.option ta]
                   1266: [reference_option td;;
                   1267: reference.option td]
                   1268: [reference_option adt;;
                   1269: reference.option adt]
                   1270: [reference_option atd;;
                   1271: reference.option atd]
                   1272: [reference_option dat;;
                   1273: reference.option dat]
                   1274: [reference_option dta;;
                   1275: reference.option dta]
                   1276: [reference_option tad;;
                   1277: reference.option tad]
                   1278: [reference_option tda;;
                   1279: reference.option tda]
                   1280: [page_number roman;;
                   1281: number format P i]
                   1282: [page_number arabic;;
                   1283: number format P 1])
                   1284: |environment(tc_placement;
                   1285: minimum.lines;)
                   1286: |environment(tc_heading;
                   1287: new.page, tab.stops \nWuR,
                   1288: divert.string Ts;
                   1289: inline off, size +1, center on,
                   1290: font bold, string Ts, font roman,
                   1291: center off, size -1, inline on,
                   1292: minimum.lines,
                   1293: clear string Rs,
                   1294: contents section 1 Rs Ts)
                   1295: |associate(tc_entry;;;
                   1296: [0 $sequence $text $page;
                   1297: minimum.lines, font bold,
                   1298: text $text, tab, text $page;]
                   1299: [1 $sequence $text $page;
                   1300: minimum.lines, font bold, text $sequence,
                   1301: horizontal.motion "|0.3i", text $text, tab, text $page;]
                   1302: [2 $sequence $text $page;
                   1303: minimum.lines 0,
                   1304: horizontal.motion "|0.3i", text $sequence,
                   1305: horizontal.motion "|0.6i", text $text, tab, text $page;]
                   1306: [3 $sequence $text $page;
                   1307: minimum.lines 0,
                   1308: horizontal.motion "|0.6i", text $sequence,
                   1309: horizontal.motion "|0.9i", text $text, tab, text $page;])
                   1310: |associate(:common_newline_whitespace;;;
                   1311: [$white;
                   1312: white.text $white;])
                   1313: |environment(:common_blankline;
                   1314: nl.paragraph;)
                   1315: |environment(:common;
                   1316: file.information,
                   1317: clear AC S0 S1
                   1318: S2 FN TB
                   1319: FG RF,
                   1320: number incr FN 1,
                   1321: number incr NN 1,
                   1322: if t, page.offset 1.0i;)
                   1323: |environment(:common_newfile;
                   1324: |ifvalue verbatim off [
                   1325: file.information,
                   1326: ];
                   1327: |ifvalue verbatim off [
                   1328: file.information,
                   1329: ])
                   1330: |environment(:common_save;
                   1331: ;)
                   1332: |environment(:common_restore;
                   1333: ;)

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.