Where is AGR [message #112513] |
Fri, 14 September 2007 21:21 ![Go to next message Go to next message](theme/Solstice/images/down.png) |
Eclipse User![Friend of Eclipse Friend](/donate/web-api/friends_decorator.php?email=) |
|
|
|
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 ![Go to previous message Go to previous message](theme/Solstice/images/up.png) |
Eclipse User![Friend of Eclipse Friend](/donate/web-api/friends_decorator.php?email=) |
|
|
|
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.02552 seconds