![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to acm.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 acm.m CVS log | Up to [Research Unix] / researchv10no / cmd / monk / db |
1.1 ! root 1: |include(macro.h) ! 2: ! 3: |include(global.h) ! 4: ! 5: |environment(reference_placement; ! 6: |ifvalue sawreference on [ ! 7: minimum.lines 2, protect, ! 8: set string temporary_string "REFERENCES", ! 9: inline off, size +1, center on, ! 10: font bold, string temporary_string, font roman, ! 11: center off, size -1, inline on, ! 12: minimum.lines, ! 13: clear string remember_string, ! 14: contents section 1 remember_string temporary_string, ! 15: reference.placement ! 16: ]; ! 17: ! 18: sawreference off) ! 19: |comment<summary: reference_placement (produce references here)> ! 20: ! 21: |include(titlebox.h) ! 22: |include(titlebox.m) ! 23: ! 24: |environment(titlebox; ! 25: ; ! 26: ! 27: new.page, fill off, inline off, size +2, space +2, font bold, center on, ! 28: macro title_string, font roman, size -2, space -2, SPACE, inline on, fill on, ! 29: blank.lines, ! 30: |for i in 1 2 3 4 5 6 7 8 9 [ ! 31: if begin GE(author_counter, $i), ! 32: new.line, size +1, font italics, ! 33: string author_array[$i], font roman, size -1, ! 34: if begin UNEQUAL(location_array[$i], location_array[$i+1]), ! 35: if begin EQUAL(location_array[$i], BC), ! 36: text "Boston College", new.line, ! 37: text "Chestnut Hill, MA 02167", new.line, ! 38: if end, ! 39: if begin EQUAL(location_array[$i], CM), ! 40: text "Carnegie-Mellon University", new.line, ! 41: text "Electrical and Computer Engineering Department", new.line, ! 42: text "Pittsburgh, PA 15213", new.line, ! 43: if end, ! 44: if begin EQUAL(location_array[$i], SDSU), ! 45: text "San Diego State University", new.line, ! 46: text "San Diego, CA 92000", new.line, ! 47: if end, ! 48: if begin EQUAL(location_array[$i], UA), ! 49: text "University of Antwerp", new.line, ! 50: text "B-2610 Antwerp, Belgium", new.line, ! 51: if end, ! 52: if begin EQUAL(location_array[$i], UCB), ! 53: text "University of California", new.line, ! 54: text "Berkeley, CA 94720", new.line, ! 55: if end, ! 56: if begin EQUAL(location_array[$i], UNL), ! 57: text "University of Nebraska", new.line, ! 58: text "Lincoln, NE 68588", new.line, ! 59: if end, ! 60: if begin EQUAL(location_array[$i], AK), ! 61: text "AT&T Bell Laboratories", new.line, ! 62: text "Norcross, GA 30071", new.line, ! 63: if end, ! 64: if begin EQUAL(location_array[$i], AL), ! 65: text "AT&T Bell Laboratories", new.line, ! 66: text "Allentown, PA 18103", new.line, ! 67: if end, ! 68: if begin EQUAL(location_array[$i], ALC), ! 69: text "AT&T Bell Laboratories", new.line, ! 70: text "Allentown, PA 18103-6265", new.line, ! 71: if end, ! 72: if begin EQUAL(location_array[$i], AN), ! 73: text "AT&T Bell Laboratories", new.line, ! 74: text "Andover, MA 01810", new.line, ! 75: if end, ! 76: if begin EQUAL(location_array[$i], CB), ! 77: text "AT&T Bell Laboratories", new.line, ! 78: text "Columbus, OH 43213", new.line, ! 79: if end, ! 80: if begin EQUAL(location_array[$i], CH), ! 81: text "AT&T Bell Laboratories", new.line, ! 82: text "Chester, NJ 07930", new.line, ! 83: if end, ! 84: if begin EQUAL(location_array[$i], DR), ! 85: text "AT&T Bell Laboratories", new.line, ! 86: text "Denver, CO 80234", new.line, ! 87: if end, ! 88: if begin EQUAL(location_array[$i], HL), ! 89: text "AT&T Bell Laboratories", new.line, ! 90: text "Short Hills, NJ 07078-0905", new.line, ! 91: if end, ! 92: if begin EQUAL(location_array[$i], HO), ! 93: text "AT&T Bell Laboratories", new.line, ! 94: text "Holmdel, NJ 07733-1988", new.line, ! 95: if end, ! 96: if begin EQUAL(location_array[$i], HOH), ! 97: text "AT&T Bell Laboratories", new.line, ! 98: text "Holmdel, NJ 07733-0400", new.line, ! 99: if end, ! 100: if begin EQUAL(location_array[$i], HR), ! 101: text "AT&T Bell Laboratories", new.line, ! 102: text "Middletown, NJ 07748-3052", new.line, ! 103: if end, ! 104: if begin EQUAL(location_array[$i], IH), ! 105: text "AT&T Bell Laboratories", new.line, ! 106: text "Naperville, IL 60566-7033", new.line, ! 107: if end, ! 108: if begin EQUAL(location_array[$i], INH), ! 109: text "AT&T Bell Laboratories", new.line, ! 110: text "Indianapolis, IN 46206", new.line, ! 111: if end, ! 112: if begin EQUAL(location_array[$i], INP), ! 113: text "AT&T Bell Laboratories", new.line, ! 114: text "Naperville, IL 60566-7050", new.line, ! 115: if end, ! 116: if begin EQUAL(location_array[$i], KD), ! 117: text "AT&T Bell Laboratories", new.line, ! 118: text "Piscataway, NJ 08854", new.line, ! 119: if end, ! 120: if begin EQUAL(location_array[$i], LC), ! 121: text "AT&T Bell Laboratories", new.line, ! 122: text "Warren, NJ 07060", new.line, ! 123: if end, ! 124: if begin EQUAL(location_array[$i], LZ), ! 125: text "AT&T Bell Laboratories", new.line, ! 126: text "Lincroft, NJ 07738-1526", new.line, ! 127: if end, ! 128: if begin EQUAL(location_array[$i], MH), ! 129: text "AT&T Bell Laboratories", new.line, ! 130: text "Murray Hill, NJ 07974-2070", new.line, ! 131: if end, ! 132: if begin EQUAL(location_array[$i], MO), ! 133: text "AT&T Bell Laboratories", new.line, ! 134: text "Morristown, NJ 07960-4499", new.line, ! 135: if end, ! 136: if begin EQUAL(location_array[$i], MT), ! 137: text "AT&T Bell Laboratories", new.line, ! 138: text "Middletown, NJ 07748-4801", new.line, ! 139: if end, ! 140: if begin EQUAL(location_array[$i], MV), ! 141: text "AT&T Bell Laboratories", new.line, ! 142: text "North Andover, MA 01845", new.line, ! 143: if end, ! 144: if begin EQUAL(location_array[$i], PK), ! 145: text "AT&T Bell Laboratories", new.line, ! 146: text "Parsippany, NJ 07054-11794", new.line, ! 147: if end, ! 148: if begin EQUAL(location_array[$i], RD), ! 149: text "AT&T Bell Laboratories", new.line, ! 150: text "Reading, PA 19604", new.line, ! 151: if end, ! 152: if begin EQUAL(location_array[$i], SF), ! 153: text "AT&T Bell Laboratories", new.line, ! 154: text "Summit, NJ 07901-1444", new.line, ! 155: if end, ! 156: if begin EQUAL(location_array[$i], WB), ! 157: text "AT&T Bell Laboratories", new.line, ! 158: text "West Long Branch, NJ 07764-1394", new.line, ! 159: if end, ! 160: if begin EQUAL(location_array[$i], WH), ! 161: text "AT&T Bell Laboratories", new.line, ! 162: text "Whippany, NJ 07981-0903", new.line, ! 163: if end, ! 164: if begin EQUAL(location_array[$i], WI), ! 165: text "AT&T Bell Laboratories", new.line, ! 166: text "Ward Hill, MA 01830", new.line, ! 167: if end, ! 168: if end, ! 169: if end, ! 170: ] ! 171: center off, goto 2i, column on, ! 172: ! 173: |ifvalue sawabstract on { ! 174: blank.lines, center on, size +1, text italics "ABSTRACT", ! 175: size -1, center off, minimum.lines, paragraph, ! 176: macro abstract_string, ! 177: minimum.lines, ! 178: } ! 179: ! 180: |ifvalue sawkeywords on { ! 181: font italics, text "Keywords:", macro keyword_string, font roman, ! 182: }) ! 183: |comment<summary: titlebox (produce title box here)> ! 184: ! 185: |environment(:document; ! 186: clear author_counter document_counter, ! 187: format.type acm, ! 188: column 1 3.33i 0.4375i, column 2 3.33i 4.0975i, ! 189: page.length 9.625i, ! 190: inline off, size 9, inline on, space 11, reference.option rp, reference.style acm;) ! 191: ! 192: |environment(:document_save; ! 193: ;) ! 194: ! 195: |environment(:document_restore; ! 196: ;) ! 197: ! 198: |macro(top.of.page; ! 199: [ ! 200: '\" ;P page number register TEMP ! 201: . de TP ! 202: ' sp |.75i ! 203: . rr ;P \" free storage ! 204: .. ! 205: ])
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.