I have a Linux instance running up there in the Amazon "elastic cloud" and will see if I can install ProofPower.
There doesn't seem to be much software installed, not even "make", but "yum" seems to be working fine. I'll report back if I get anywhere. Roger Jones _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com