Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-20 21:05:46 -0700 (Tue, 20 Sep 2005)
Revision: 7771
Log message:

      Made some edits to the sequence number reset mechanism.
      

Changes	Path
+5 -3	mojavefs/shmem/model/gc/view_change/tla/ViewChange.cfg
+64 -109	mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla