Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-16 11:53:19 -0700 (Fri, 16 Sep 2005)
Revision: 2029
Log message:

      A few more fixes in the spin model

Changes  Path
+79 -70 mojavefs/shmem/model/gc/view_change/spin/gcomm.pml