For the most recent distribution of Clover please anonymously ftp to eclipse.its.rpi.edu [128.113.24.91] and check '/pub/clover/'. The source code, specifications, user manual, and patches are all available there. Please email any problem reports to Thanks, Christian Ratliff