Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community ForumsHaving trouble getting TPTP 3.3 to work with Eclipse 3.0
https://www.eclipse.org/forums/index.php/mv/msg/5689/17047/#msg_17047
Originally posted by: jeffrey.kesselman.sun.com
Hi Guys,
im SURE this is a stupid question and I;m sorry, but I thought I
carefully follwoed the isntructions on the website. I downloaded
the three hyades Zips into m yeclispe directory (runtime, test and
exampels) and verified that they put .so files in the plugins
directory. I downlaoded the rac, unzipepd it to ist own dir, and got it
running.
Then i restarted eclipse.
The problem is I see no eidence of the plug-in in eclispe. i have no
profiling perspective nor do I seme to have a button or menu item to
start the profiler.
What should I be checking?
Thanks
JK]]>2005-04-26T22:27:01-00:00Re: Having trouble getting TPTP 3.3 to work with Eclipse 3.0
https://www.eclipse.org/forums/index.php/mv/msg/5689/17077/#msg_17077
Originally posted by: jeffrey.kesselman.sun.com
Jeff Kesselman wrote:
>
> What should I be checking?
>
Additional information. I checked the plug-ins using the About menu. I
see all sorts of Hyades plugins in the list.
But I have no Profilig and Logging perspective that I can find :(
Help? Please?]]>2005-04-26T23:36:55-00:00Re: Having trouble getting TPTP 3.3 to work with Eclipse 3.0
https://www.eclipse.org/forums/index.php/mv/msg/5689/17278/#msg_17278
Only thing I can think of is to try and delete everything in your
eclipse/configuration directory, except for the config.ini file. This might
result in the plugins loading correctly.
George
"Jeff Kesselman" <jeffrey.kesselman@sun.com> wrote in message
news:d4mjgu$5u4$1@news.eclipse.org...
> Jeff Kesselman wrote:
>
> >
> > What should I be checking?
> >
>
> Additional information. I checked the plug-ins using the About menu. I
> see all sorts of Hyades plugins in the list.
>
> But I have no Profilig and Logging perspective that I can find :(
>
> Help? Please?]]>George Christelis2005-05-02T12:51:55-00:00Re: Having trouble getting TPTP 3.3 to work with Eclipse 3.0
https://www.eclipse.org/forums/index.php/mv/msg/5689/17305/#msg_17305
2.0.2 and XSD 2.0.2 packages. This will do the trick.
"George Christelis" <george.christelis@scapatech.com> wrote in message
news:d5583c$jtp$1@news.eclipse.org...
> Hi Jeff,
>
> Only thing I can think of is to try and delete everything in your
> eclipse/configuration directory, except for the config.ini file. This
might
> result in the plugins loading correctly.
> George
>
> "Jeff Kesselman" <jeffrey.kesselman@sun.com> wrote in message
> news:d4mjgu$5u4$1@news.eclipse.org...
> > Jeff Kesselman wrote:
> >
> > >
> > > What should I be checking?
> > >
> >
> > Additional information. I checked the plug-ins using the About menu. I
> > see all sorts of Hyades plugins in the list.
> >
> > But I have no Profilig and Logging perspective that I can find :(
> >
> > Help? Please?
>
>]]>Alex Nan2005-05-02T16:54:23-00:00