Rob, I was wondering, you know of any problems with the download site for OpenMotif?
I got Virtual Box and Fedora 17 working on my desktop, my laptop did not have enough RAM to run it, and I got ProofPower and ML downloaded no problems, but seems you get a blank page when getting OpenMotif 2.3.3. I contacted there list but have not heard back all week. Any ideas? Thanks, Jon Lockhart On Sun, Jul 22, 2012 at 4:51 AM, Rob Arthan <r...@lemma-one.com> wrote: > 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 Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
