I'm not sure this is the right place for this question but I'll give it a go
I am having trouble installing the TPTP plugin. I followed the installation
but I cannot see any "Test" folder in the "new wizard" been created.
I've already "-clean"ed the plugin cache.
I am using Eclipse 3.2 and TPTP SDK and Runtime of 4.3.1
Any help will be appreciated, if this post is not relevant to this forum
(after all it has the keyword dev in it's
title) please refer me to a relevant forum where I can post this.
View this message in context:http://www.nabble.com/Installing-the-TPTP-tf3943313.html#a11185659
Sent from the Eclipse TPTP - Testing Tools - Dev mailing list archive atNabble.com.