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,
Jon,
On 19 Jul 2012, at 21:57, Jon Lockhart wrote:
> 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
