Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-09-13 12:32:50 -0700 (Tue, 13 Sep 2005)
Revision: 1971
Log message:

      The model has been fixed again so it should be able to run through TLC.
      

Changes	Path
+123 -76	mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla