On 17/08/12 15:12, Phil Clayton wrote:
Also, I encountered some confusing behaviour in that if PPRCSDIR is relative, it must be relative to PPDEVHOME, not the current directory, so I updated the comment.
I failed to read the notes below where that was documented. But I think it's relative to $PPDEVHOME rather than $PPDEVHOME/pp .
Phil _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
