![[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.