Ive hit that magical momen in JNWN where I really need to profile.
i have ahd zero luck hwoever getting the TPTP plug in to work in Eclipse.
I donlaoded the trhee zips and uzipped them into my eclipse directoy. I even cehcekd the eclispe/plugins directory adn they seem to have dumepd stuff there, but I can find no way to star tthe profiler (hyades) in the eclispe IDE.
I tried adding the profile optio nto the run menu, now the optio nshows but its greyed out
P.S. Eclispe has a lot of t6hings going for it, but its plug-in installation system blows chunks,.