Advertising

Thanks, so the issue is then with an older release of the tool.
I doubt that there is a problem with either release, just a misunderstanding
of how to configure.
Sarah raised a problem, and when I went to check it I had just upgraded
without adjusting the default settings and had forgotten how the Xpp include
worked, so I managed to find a similar "problem" in the latest release, which
was entirely due to my own error.
However, Sarah hasn't said whether her issue has been resolved yet.
Roger Jones
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com