Annotation of researchv10no/cmd/monk/db/rp.m, revision 1.1.1.1

1.1       root        1: |include(macro.h)
                      2: 
                      3: |include(titlebox.h)
                      4: |include(titlebox.m)
                      5: 
                      6: |environment(titlebox;
                      7:        ;
                      8: 
                      9:        new.page, fill off, inline off, size +2, space +2, font bold, center on,
                     10:        macro title_string, font roman, size -2, space -2, SPACE, inline on, fill on,
                     11:        blank.lines,
                     12: |for i in 1 2 3 4 5 6 7 8 9 [
                     13:        if begin GE(author_counter, $i),
                     14:                new.line, size +1, font italics,
                     15:                string author_array[$i], font roman, size -1,
                     16:                if begin UNEQUAL(location_array[$i], location_array[$i+1]),
                     17:                        if begin EQUAL(location_array[$i], BC),
                     18:                                text "Boston College", new.line,
                     19:                                text "Chestnut Hill, MA 02167", new.line,
                     20:                        if end,
                     21:                        if begin EQUAL(location_array[$i], CM),
                     22:                                text "Carnegie-Mellon University", new.line,
                     23:                                text "Electrical and Computer Engineering Department", new.line,
                     24:                                text "Pittsburgh, PA 15213", new.line,
                     25:                        if end,
                     26:                        if begin EQUAL(location_array[$i], CU),
                     27:                                text "Columbia University", new.line,
                     28:                                text "New York, NY 10027", new.line,
                     29:                        if end,
                     30:                        if begin EQUAL(location_array[$i], INESC),
                     31:                                text "INESC", new.line,
                     32:                                text "Lisboa, Portugal", new.line,
                     33:                        if end,
                     34:                        if begin EQUAL(location_array[$i], SDSU),
                     35:                                text "San Diego State University", new.line,
                     36:                                text "San Diego, CA 92000", new.line,
                     37:                        if end,
                     38:                        if begin EQUAL(location_array[$i], UA),
                     39:                                text "University of Antwerp", new.line,
                     40:                                text "B-2610 Antwerp, Belgium", new.line,
                     41:                        if end,
                     42:                        if begin EQUAL(location_array[$i], UCB),
                     43:                                text "University of California", new.line,
                     44:                                text "Berkeley, CA 94720", new.line,
                     45:                        if end,
                     46:                        if begin EQUAL(location_array[$i], UNL),
                     47:                                text "University of Nebraska", new.line,
                     48:                                text "Lincoln, NE 68588", new.line,
                     49:                        if end,
                     50:                        if begin EQUAL(location_array[$i], AK),
                     51:                                text "AT&T Bell Laboratories", new.line,
                     52:                                text "Norcross, GA 30071", new.line,
                     53:                        if end,
                     54:                        if begin EQUAL(location_array[$i], AL),
                     55:                                text "AT&T Bell Laboratories", new.line,
                     56:                                text "Allentown, PA 18103", new.line,
                     57:                        if end,
                     58:                        if begin EQUAL(location_array[$i], ALC),
                     59:                                text "AT&T Bell Laboratories", new.line,
                     60:                                text "Allentown, PA 18103-6265", new.line,
                     61:                        if end,
                     62:                        if begin EQUAL(location_array[$i], AN),
                     63:                                text "AT&T Bell Laboratories", new.line,
                     64:                                text "Andover, MA 01810", new.line,
                     65:                        if end,
                     66:                        if begin EQUAL(location_array[$i], CB),
                     67:                                text "AT&T Bell Laboratories", new.line,
                     68:                                text "Columbus, OH 43213", new.line,
                     69:                        if end,
                     70:                        if begin EQUAL(location_array[$i], CH),
                     71:                                text "AT&T Bell Laboratories", new.line,
                     72:                                text "Chester, NJ 07930", new.line,
                     73:                        if end,
                     74:                        if begin EQUAL(location_array[$i], DR),
                     75:                                text "AT&T Bell Laboratories", new.line,
                     76:                                text "Denver, CO 80234", new.line,
                     77:                        if end,
                     78:                        if begin EQUAL(location_array[$i], HL),
                     79:                                text "AT&T Bell Laboratories", new.line,
                     80:                                text "Short Hills, NJ 07078-0905", new.line,
                     81:                        if end,
                     82:                        if begin EQUAL(location_array[$i], HO),
                     83:                                text "AT&T Bell Laboratories", new.line,
                     84:                                text "Holmdel, NJ 07733-1988", new.line,
                     85:                        if end,
                     86:                        if begin EQUAL(location_array[$i], HOH),
                     87:                                text "AT&T Bell Laboratories", new.line,
                     88:                                text "Holmdel, NJ 07733-0400", new.line,
                     89:                        if end,
                     90:                        if begin EQUAL(location_array[$i], HR),
                     91:                                text "AT&T Bell Laboratories", new.line,
                     92:                                text "Middletown, NJ 07748-3052", new.line,
                     93:                        if end,
                     94:                        if begin EQUAL(location_array[$i], IH),
                     95:                                text "AT&T Bell Laboratories", new.line,
                     96:                                text "Naperville, IL 60566-7033", new.line,
                     97:                        if end,
                     98:                        if begin EQUAL(location_array[$i], INH),
                     99:                                text "AT&T Bell Laboratories", new.line,
                    100:                                text "Indianapolis, IN 46206", new.line,
                    101:                        if end,
                    102:                        if begin EQUAL(location_array[$i], INP),
                    103:                                text "AT&T Bell Laboratories", new.line,
                    104:                                text "Naperville, IL 60566-7050", new.line,
                    105:                        if end,
                    106:                        if begin EQUAL(location_array[$i], KD),
                    107:                                text "AT&T Bell Laboratories", new.line,
                    108:                                text "Piscataway, NJ 08854", new.line,
                    109:                        if end,
                    110:                        if begin EQUAL(location_array[$i], LC),
                    111:                                text "AT&T Bell Laboratories", new.line,
                    112:                                text "Warren, NJ 07060", new.line,
                    113:                        if end,
                    114:                        if begin EQUAL(location_array[$i], LZ),
                    115:                                text "AT&T Bell Laboratories", new.line,
                    116:                                text "Lincroft, NJ 07738-1526", new.line,
                    117:                        if end,
                    118:                        if begin EQUAL(location_array[$i], MH),
                    119:                                text "AT&T Bell Laboratories", new.line,
                    120:                                text "Murray Hill, NJ 07974-2070", new.line,
                    121:                        if end,
                    122:                        if begin EQUAL(location_array[$i], MO),
                    123:                                text "AT&T Bell Laboratories", new.line,
                    124:                                text "Morristown, NJ 07960-4499", new.line,
                    125:                        if end,
                    126:                        if begin EQUAL(location_array[$i], MT),
                    127:                                text "AT&T Bell Laboratories", new.line,
                    128:                                text "Middletown, NJ 07748-4801", new.line,
                    129:                        if end,
                    130:                        if begin EQUAL(location_array[$i], MV),
                    131:                                text "AT&T Bell Laboratories", new.line,
                    132:                                text "North Andover, MA 01845", new.line,
                    133:                        if end,
                    134:                        if begin EQUAL(location_array[$i], PK),
                    135:                                text "AT&T Bell Laboratories", new.line,
                    136:                                text "Parsippany, NJ 07054-11794", new.line,
                    137:                        if end,
                    138:                        if begin EQUAL(location_array[$i], RD),
                    139:                                text "AT&T Bell Laboratories", new.line,
                    140:                                text "Reading, PA 19604", new.line,
                    141:                        if end,
                    142:                        if begin EQUAL(location_array[$i], SF),
                    143:                                text "AT&T Bell Laboratories", new.line,
                    144:                                text "Summit, NJ 07901-1444", new.line,
                    145:                        if end,
                    146:                        if begin EQUAL(location_array[$i], WB),
                    147:                                text "AT&T Bell Laboratories", new.line,
                    148:                                text "West Long Branch, NJ 07764-1394", new.line,
                    149:                        if end,
                    150:                        if begin EQUAL(location_array[$i], WH),
                    151:                                text "AT&T Bell Laboratories", new.line,
                    152:                                text "Whippany, NJ 07981-0903", new.line,
                    153:                        if end,
                    154:                        if begin EQUAL(location_array[$i], WI),
                    155:                                text "AT&T Bell Laboratories", new.line,
                    156:                                text "Ward Hill, MA 01830", new.line,
                    157:                        if end,
                    158:                if end,
                    159:        if end,
                    160: ]
                    161:        center off,
                    162: 
                    163:        |ifvalue sawabstract on {
                    164:                blank.lines, center on, size +1, text italics "ABSTRACT",
                    165:                size -1, center off, minimum.lines, paragraph,
                    166:                indent +.5i, line.length -.5i, line.spacing 1,
                    167:                macro abstract_string, line.length +.5i, indent -.5i,
                    168:        }
                    169:        minimum.lines)
                    170:        |comment<summary: titlebox (produce title box here)>
                    171: 
                    172: |environment(:document;
                    173:        clear author_counter document_counter, reference.option rp;)
                    174: 
                    175: |environment(:document_save;
                    176:        ;)
                    177: 
                    178: |environment(:document_restore;
                    179:        ;)

unix.superglobalmegacorp.com

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