John, On 21 Jul 2012, at 17:56, Jon Lockhart wrote:
> Dear Rob, > > Thank you for returning my email and the advice you have given. > > After getting more into the installation I realized that Motiff was not > available for Cygwin and I was going to have no interface to work with. I > thought maybe there was some terminal commands I could use to run ProofPower, > but there as well there was no dice. > You can run it from a terminal and you can set a flag so that the output is all in ASCII, but the ASCII format was mainly designed for interchange and I wouldn't recommend it for interactive use. > I have moved on to looking at installing a VM. I am familiar and have used > VM's plenty over my albeit short career, but I have never personally > installed one. I was actually looking at Virtual Box, and was a little > concerned b/c just like you I am using an XP laptop for my work since I > travel to and from the lab and my apartment. I am glad to see I can get away > with just using 10 to 15 GB. Since this is a much older laptop, do you think > I will have an issue with only have 1 GB of RAM. If so I can use my desktop > since I have plenty of performance there. > > Rather than Ubuntu, do you think a Fedora distro would be sufficient for the > task? Fedora and 1GB of RAM should work fine. Regards, Rob. _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
