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