![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to model.m CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / monk / o.db|
Return to model.m CVS log | Up to [Research Unix] / researchv10no / cmd / monk / o.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_NUMBER(author_counter, $i), ! 32: new.line, size +1, font italics, ! 33: string author_array($i), font roman, size -1, ! 34: if begin UNEQUAL_STRING_REGISTERS(location_array($i), location_array($i+1)), ! 35: if begin EQUAL_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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_STRING(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, ! 172: ! 173: new.page, ! 174: ! 175: |ifvalue sawabstract on { ! 176: center on, size +1, text italics "ABSTRACT", ! 177: size -1, center off, minimum.lines, paragraph, macro abstract_string, ! 178: minimum.lines, ! 179: } ! 180: ! 181: |ifvalue sawkeywords on { ! 182: font italics, text "Keywords:", macro keyword_string, font roman, ! 183: } ! 184: minimum.lines .5i) ! 185: |comment<summary: titlebox (produce title box here)> ! 186: ! 187: |environment(:document; ! 188: clear author_counter document_counter, ! 189: format.type model, ! 190: line.length 4.25i, ! 191: page.length 11.0i, ! 192: inline off, size 12, inline on, space 14, reference.option rp;) ! 193: ! 194: |environment(:document_save; ! 195: ;) ! 196: ! 197: |environment(:document_restore; ! 198: ;)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.