Eclipse Community Forums: Test and Performance Tools Platform (TPTP)

Home » Archived » Test and Performance Tools Platform (TPTP) » TPTP via update manager?

TPTP via update manager? [message #21167]

Tue, 05 July 2005 21:49

Eclipse User

Is TPTP available via Eclipse's update manager? If so, what is the
URL? http://eclipse.org/tptp/updates yielded a blank page.

--
Bill Wohler <wohler@newt.com> http://www.newt.com/wohler/ GnuPG ID:610BD9AD
Maintainer of comp.mail.mh FAQ and MH-E. Vote Libertarian!
If you're passed on the right, you're in the wrong lane.

Re: TPTP via update manager? [message #21199 is a reply to message #21167]

Wed, 06 July 2005 07:38

Eclipse User

Hi Bill,
Unfortunately, TPTP is not currently available using Eclipse's Update
Manager. I have open enhancement
https://bugs.eclipse.org/bugs/show_bug.cgi?id=102828 to address this issue.

PS

"Bill Wohler" <wohler@newt.com> wrote in message
news:871x6cg0uy.fsf@olgas.newt.com...
> Is TPTP available via Eclipse's update manager? If so, what is the
> URL? http://eclipse.org/tptp/updates yielded a blank page.
>
> --
> Bill Wohler <wohler@newt.com> http://www.newt.com/wohler/ GnuPG
ID:610BD9AD
> Maintainer of comp.mail.mh FAQ and MH-E. Vote Libertarian!
> If you're passed on the right, you're in the wrong lane.

Re: TPTP via update manager? [message #21215 is a reply to message #21199]

Wed, 06 July 2005 12:13

Eclipse User

Hi Bill,
There is an existing defect for this issue already:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=83568

Paul

"Paul Slauenwhite" <paules@ca.ibm.com> wrote in message
news:dagfs2$49o$1@news.eclipse.org...
> Hi Bill,
> Unfortunately, TPTP is not currently available using Eclipse's Update
> Manager. I have open enhancement
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=102828 to address this
issue.
>
> PS
>
> "Bill Wohler" <wohler@newt.com> wrote in message
> news:871x6cg0uy.fsf@olgas.newt.com...
> > Is TPTP available via Eclipse's update manager? If so, what is the
> > URL? http://eclipse.org/tptp/updates yielded a blank page.
> >
> > --
> > Bill Wohler <wohler@newt.com> http://www.newt.com/wohler/ GnuPG
> ID:610BD9AD
> > Maintainer of comp.mail.mh FAQ and MH-E. Vote Libertarian!
> > If you're passed on the right, you're in the wrong lane.
>
>

Re: TPTP via update manager? [message #21231 is a reply to message #21199]

Wed, 06 July 2005 12:48

Eclipse User

"Paul Slauenwhite" <paules@ca.ibm.com> writes:

> Unfortunately, TPTP is not currently available using Eclipse's Update
> Manager. I have open enhancement
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=102828 to address this issue.

Paul, thanks for your quick response. As you may have noticed, I'm
now tracking that issue. I hope you can find a place to stash TPTP!

In the meantime, I found a nice site that describes how to manage
downloaded plug-ins separately:

http://blog.exis.com/colin/archives/2004/12/23/managing-plug ins-in-eclipse/

--
Bill Wohler <wohler@newt.com> http://www.newt.com/wohler/ GnuPG ID:610BD9AD
Maintainer of comp.mail.mh FAQ and MH-E. Vote Libertarian!
If you're passed on the right, you're in the wrong lane.

Previous Topic:	funny
Next Topic:	TPTP 4.0, repackaging of classes, where are these now?

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 27 06:22:26 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter