Has anyone tried, or even considered, running ProoPower in the Amazon "cloud" (AWS they call it "Amazon Web Services")?
They offer a number of Linux images which might be used as starting points. Presumably one could run ProofPower and xpp in the cloud and access it using an X-client on cygwin on MS windows, in theory. (I had a poke around but didn't spend enough time to get anywhere). Roger Jones _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com