Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-07 10:40:27 -0700 (Wed, 07 Jun 2006)
Revision: 9266
Log message:

      Updated the installation instructions (they were quite outdated). Also,
      commented out the Ensemble stuff, as the distributed prover will surely fail
      to compile.