Skip to main content



      Home
Home » Archived » Test and Performance Tools Platform (TPTP) » TPTP via update manager?
TPTP via update manager? [message #21167] Tue, 05 July 2005 21:49 Go to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous message
Eclipse UserFriend
"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: Sat Jul 05 04:53:47 EDT 2025

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

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

Back to the top