Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-10-28 19:40:37 -0700 (Fri, 28 Oct 2005)
Revision: 8037
Log message:

      This commit consists of preliminary edits to the group communication library intended to incorporate the changes in the view change protocol that we modeled using TLA and spin. It should compile, but not everything is implemented quite yet.