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.

Jon Lockhart
Proofpower mailing list

Reply via email to