Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-09-09 22:53:59 -0700 (Fri, 09 Sep 2005)
Revision: 1956
Log message:

      Some edits (somewhat incomplete) were done to enable the compilation of acks from initiate view change and new view messages on the fly.
      

Changes	Path
+168 -93	mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla