On Tuesday 15 Jan 2013 17:02:01 Jon Lockhart wrote: Roger,
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
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com