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
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
