|Where is AGR [message #112513]
||Fri, 14 September 2007 21:21
Originally posted by: geoff.roberts.gmail.com|
Yesterday I tried TPTP for the first time on eclipse 3.3. I installed the
tptp.test.runtime-TPTP-18.104.22.168.zip. I began working through the tutorial
and discovered that "TPTP Automated GUI Test" does not appear in
I took a look at the source code and it would appear that I should have a
plug in titled "org.eclipse.tptp.test.auto.gui" installed but I don't see
this plugin in my installation or in any of the download files.
Can someone offer me an explanation? Has this plug in been removed?
Powered by FUDForum
. Page generated in 0.01340 seconds