Return to model.m CVS log

Up to [Research Unix] / researchv8dc / cmd / monk / db

Annotation of researchv8dc/cmd/monk/db/model.m, revision 1.1.1.1

1.1       root        1: |include(envir.h)
                      2: |include(preproc.h)
                      3: |include(monk.h)
                      4: |include(macro.h)
                      5: 
                      6: |include(refs.h)
                      7: |environment(ref_ieee_init;
                      8:        blank.lines 2, protect, center on, font bold,
                      9:        text "REFERENCES", blank.lines -1,
                     10:        macro reference_end_definition,
                     11:        blank.lines;)
                     12: 
                     13: |include(titlebox.h)
                     14: |include(titlebox.m)
                     15: 
                     16: |environment(titlebox;
                     17:        ;
                     18: 
                     19:        new.page, fill off, size +2, font bold, center on,
                     20:        macro title_string, font roman, size -2, fill on,
                     21: |for i in 1 2 3 4 5 6 7 8 9 [
                     22:        if begin ge(author_counter, $i),
                     23:                new.line, size +1, temporary.font italics,
                     24:                string author_array($i), temporary.font, size -1,
                     25:                if begin unequal_string_registers(location_array($i), location_array($i+1)),
                     26:                        if begin equal_string(location_array($i), CM),
                     27:                                text "Carnegie-Mellon University", new.line,
                     28:                                text "Electrical and Computer Engineering Department", new.line,
                     29:                                text "Pittsburgh, PA 15213", new.line,
                     30:                        if end,
                     31:                        if begin equal_string(location_array($i), HL),
                     32:                                text "AT&T Bell Laboratories", new.line,
                     33:                                text "Short Hills, New Jersey 07078", new.line,
                     34:                        if end,
                     35:                        if begin equal_string(location_array($i), HO),
                     36:                                text "AT&T Bell Laboratories", new.line,
                     37:                                text "Holmdel, New Jersey 07733", new.line,
                     38:                        if end,
                     39:                        if begin equal_string(location_array($i), MH),
                     40:                                text "AT&T Bell Laboratories", new.line,
                     41:                                text "Murray Hill, New Jersey 07974", new.line,
                     42:                        if end,
                     43:                        if begin equal_string(location_array($i), PY),
                     44:                                text "AT&T Bell Laboratories", new.line,
                     45:                                text "Piscataway, New Jersey 08854", new.line,
                     46:                        if end,
                     47:                        if begin equal_string(location_array($i), WH),
                     48:                                text "AT&T Bell Laboratories", new.line,
                     49:                                text "Whippany, New Jersey 07981", new.line,
                     50:                        if end,
                     51:                if end,
                     52:        if end,
                     53: ]
                     54:        center off,
                     55: 
                     56:        new.page,
                     57: 
                     58:        center on, size +1, temporary.font italics "ABSTRACT",
                     59:        size -1, center off, blank.lines, macro abstract_string, blank.lines,
                     60: 
                     61:        font italics, text "Keywords:", macro keyword_string, font, blank.lines .5i)
                     62:        |comment<summary: titlebox (produce title box here)>
                     63: 
                     64: |environment(document_begin_and_end_of_text;
                     65:        clear author_counter document_counter,
                     66:        format.type model,
                     67:        set page_width 4.25i, line.length,
                     68:        set page_length 11.0i, page.length,
                     69:        set font_size 12, font.size;)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.