Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-19 18:58:21 -0700 (Mon, 19 Sep 2005)
Revision: 7768
Log message:

      Version without fancy reset of local sequence numbers

Changes	Path
+2 -2	mojavefs/shmem/model/gc/view_change/spin/OMakefile
+244 -150	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml