Roger, On 22 Jul 2012, at 10:23, Roger Bishop Jones wrote:
> 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. That's an interesting idea. There are other MS Windows X-clients too, e.g., Xming, that don't have such a big footprint as Cygwin. > > (I had a poke around but didn't spend enough time to get > anywhere). What is the AWS pricing model? Regards, Rob.
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
