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