Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-20 13:44:56 -0700 (Tue, 20 Sep 2005)
Revision: 7769
Log message:

      A non terminating version of the reset and replace lseqn "policy".
      
      

Changes	Path
+119 -59	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml