Community
Participate
Working Groups
Build Identifier: I20090611-1540 Hi, I tried to download tptp plugins, some it failed to do it online with Help -> install new software option, I applied the agntctrl.win_ia32.sdk-TPTP-4.6.2, agntctrl.win_ia32-TPTP-4.6.2 and javaprofiler.win_ia32-TPTP-4.6.2 manually on the eclipse installation folder. But I don't see the run profiler option after I restarted the eclipse. Please help me.. Regards Girish Reproducible: Always
Hi, I tried to download tptp plugins online, somehow it failed to do update online with Help -> install new software option I copied downloaded files manullay (agntctrl.win_ia32.sdk-TPTP-4.6.2,agntctrl.win_ia32-TPTP-4.6.2 and javaprofiler.win_ia32-TPTP-4.6.2) on to the eclipse installation folder. But I don't see the run profiler option after I restarted the eclipse. Please help me.. Regards Girish
Your description sounds like an install issue. Have you tried the latest stable version of TPTP release, which is TPTP 4.7.1 that was released in September 2010? The download URL is: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.1 Here's the install guide: http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/installguide/InstallGuide.html Please let us know if you still have problems.
Please re-open with detail steps on how to re-create the problem if you still run into problem.
Closed in the TPTP 4.7.2 release.