Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-12 11:28:42 -0700 (Mon, 12 Sep 2005)
Revision: 1957
Log message:

      Spin models contains 80% of the new protocol description.
      This is my last commit before migrating the repository to subversion.
      

Changes	Path
+14 -3	mojavefs/shmem/gc/gcomm.ml
+347 -133	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml