[ProofPower] directory path

[Roger Bishop Jones]

Sarah,

The reason why you had problems after setting the PATH variable to point 
to the ProofPower binary directory is because you set it to include only 
that one directory, so xpp was found, but lots of other necessary 
binaries were no longer in the search path.

As recommended by Phil, the correct procedure is to add the ProofPower 
directory into the default PATH value so that all the original 
directories remain.
This is what Phil recommended:

PATH=/home/sarah/pp/bin:$PATH

in which the original value of the $PATH variable is included in the new 
value.

This is very basic linux stuff, if possible you should find someone 
local to help you with this kind of thing until you get better 
acquainted with how to use linux, since resolving problems at this level 
through the ProofPower list will be very slow and tortuous.

Roger