Where is AGR [message #112513] |
Fri, 14 September 2007 21:21 |
Eclipse User |
|
|
|
Originally posted by: geoff.roberts.gmail.com
All,
Yesterday I tried TPTP for the first time on eclipse 3.3. I installed the
tptp.test.runtime-TPTP-4.4.0.2.zip. I began working through the tutorial
and discovered that "TPTP Automated GUI Test" does not appear in
File/New/Other/Test.
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?
|
|
|
Re: Where is AGR [message #112526 is a reply to message #112513] |
Fri, 14 September 2007 21:26 |
Eclipse User |
|
|
|
Originally posted by: geoffry.roberts.gmail.com
All,
My apologies, I didn't notice this question has already been answered.
|
|
|
Powered by
FUDForum. Page generated in 0.03866 seconds