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.
Proofpower mailing list