![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to rp.m CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / monk / db|
Return to rp.m CVS log | Up to [Research Unix] / researchv10no / cmd / monk / db |
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: ;)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.