Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Test and Performance Tools Platform (TPTP) » TPTP via update manager?
TPTP via update manager? [message #21167] Wed, 06 July 2005 01:49 Go to next message
Bill Wohler is currently offline Bill WohlerFriend
Messages: 2
Registered: July 2009
Junior Member
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 11:38 Go to previous messageGo to next message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 970
Registered: July 2009
Senior Member
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 16:13 Go to previous messageGo to next message
Paul Slauenwhite is currently offline Paul SlauenwhiteFriend
Messages: 970
Registered: July 2009
Senior Member
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 16:48 Go to previous message
Bill Wohler is currently offline Bill WohlerFriend
Messages: 2
Registered: July 2009
Junior Member
"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:
  


Current Time: Mon Dec 22 09:23:09 GMT 2014

Powered by FUDForum. Page generated in 0.01818 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software