Return to spin.ms.sp CVS log

Up to [Research Unix] / researchv10dc / vol2 / spin

Annotation of researchv10dc/vol2/spin/spin.ms.sp, revision 1.1

1.1     ! root        1: ack
        !             2: Ain
        !             3: Ain,Aout
        !             4: Aout
        !             5: AtoB
        !             6: AtoB,BtoA
        !             7: atttj
        !             8: Aturn
        !             9: bchmt
        !            10: Bin,Bout
        !            11: bool
        !            12: BtoA
        !            13: BtoA,AtoB
        !            14: BtoC
        !            15: Bturn
        !            16: byte,byte
        !            17: C.A.R
        !            18: cbhmt
        !            19: cbook
        !            20: cc
        !            21: ch
        !            22: ch?a
        !            23: ch?b
        !            24: chan
        !            25: child?result
        !            26: chin?ack
        !            27: chin?err
        !            28: chin?nak
        !            29: chout
        !            30: csp
        !            31: CtoA
        !            32: CW
        !            33: DBITSTATE
        !            34: Dekker
        !            35: del
        !            36: dijkstra
        !            37: dP
        !            38: dV
        !            39: e.g
        !            40: E.W
        !            41: err,0
        !            42: expr1
        !            43: expr1,expr2,expr3
        !            44: expr1?name
        !            45: expr1?name1
        !            46: expr1?name1,name2
        !            47: expr2
        !            48: expr2,expr3
        !            49: expr2,expr3,expr4
        !            50: expr3,expr4
        !            51: fi
        !            52: foo
        !            53: grep
        !            54: hoare
        !            55: holzmann
        !            56: i.e
        !            57: in,out,chin,chout
        !            58: in?cargo
        !            59: in?mt,md
        !            60: in?next
        !            61: init
        !            62: int
        !            63: large?cargo
        !            64: len
        !            65: Mbyte
        !            66: Mbytes
        !            67: md
        !            68: mN
        !            69: msg
        !            70: msgtype
        !            71: mt
        !            72: mt,md
        !            73: mtype
        !            74: nak
        !            75: name1
        !            76: name2
        !            77: name3
        !            78: name?msgtype
        !            79: namelist
        !            80: nN
        !            81: od
        !            82: option1
        !            83: option2
        !            84: pan.b
        !            85: pan.c
        !            86: pan.h
        !            87: pan.m
        !            88: pan.t
        !            89: pan.trail
        !            90: pglrs
        !            91: printf
        !            92: proc
        !            93: proctype
        !            94: PROMELA
        !            95: qname
        !            96: qname?cons1,var2,cons2
        !            97: qname?msg
        !            98: qname?msgtype
        !            99: qname?var
        !           100: qname?var1
        !           101: qname?var1,var2,var3
        !           102: Recv
        !           103: Rendez
        !           104: rendez
        !           105: sema
        !           106: sema?p
        !           107: sema?v
        !           108: small?cargo
        !           109: spin.examples
        !           110: stackframes
        !           111: tl
        !           112: var2,var3
        !           113: Vous
        !           114: vous
        !           115: wc
        !           116: wN

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