Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-13 18:20:33 -0700 (Tue, 13 Sep 2005)
Revision: 1981
Log message:

      Added local sequence numbers. Sequence number reset still needs to be handled properly though.
      

Changes	Path
+71 -51	mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla