|
|
1.1 root 1: |include(envir.h)
2: |include(preproc.h)
3: |include(monk.h)
4: |include(macro.h)
5:
6: |include(titlebox.h)
7: |include(titlebox.m)
8:
9: |define_counter(i_plus_one, i)
10:
11: |environment(titlebox;
12: ;
13:
14: new.page, fill off, size +2, font bold, center on,
15: macro title_string, font roman, size -2, fill on,
16: |for i in 1 2 3 4 5 6 7 8 9 [
17: if begin ge(author_counter, $i),
18: new.line, size +1, temporary.font italics,
19: string author_array($i), temporary.font, size -1,
20: if begin unequal_string_registers(location_array($i), location_array($i+1)),
21: if begin equal_string(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_string(location_array($i), HL),
27: text "AT&T Bell Laboratories", new.line,
28: text "Short Hills, New Jersey 07078", new.line,
29: if end,
30: if begin equal_string(location_array($i), HO),
31: text "AT&T Bell Laboratories", new.line,
32: text "Holmdel, New Jersey 07733", new.line,
33: if end,
34: if begin equal_string(location_array($i), MH),
35: text "AT&T Bell Laboratories", new.line,
36: text "Murray Hill, New Jersey 07974", new.line,
37: if end,
38: if begin equal_string(location_array($i), PY),
39: text "AT&T Bell Laboratories", new.line,
40: text "Piscataway, New Jersey 08854", new.line,
41: if end,
42: if begin equal_string(location_array($i), WH),
43: text "AT&T Bell Laboratories", new.line,
44: text "Whippany, New Jersey 07981", new.line,
45: if end,
46: if end,
47: if end,
48: ]
49:
50: blank.lines, size +1, temporary.font italics "ABSTRACT",
51: size -1, center off, blank.lines, macro abstract_string, blank.lines,
52: )
53: |comment<summary: titlebox (produce title box here)>
54:
55: |environment(document_begin_and_end_of_text;
56: clear author_counter document_counter;)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.