Dear PP Community, I was wondering if anyone had any help or suggestions for trying to install ProofPower on a Windows machine?
I am currently running Windows XP Professional, Service Pack 3, 32-bit. I have downloaded all the necessary components that were necessary. I have tried installing PP using Cygwin, but I can't get to any of my Windows directories from it. I have also tried installing it from GIT Bash, but when I run the config file I get an error returned saying I have no ML installed, though I do have Poly ML installed, as the page instructions say to do. I have added Poly ML to my path variable but that does not seem to fix the problem either. Thanks, Jon Lockhart
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
