Anyone has made the eclipse tptp work with a jdk1.5, i have spend all this morning trying to set up tptp and i don’t even get the profiling perspective option.
Did you install Callisto?
If you didn’t then make sure you’ve installed all the required libraries for TPTP.
Apart from that make sure you configure TPTP settings in Windows->Preferences.
I have no issues running it on my end.
Works fine here too.
Kev
Oh, didn’t know about callisto, i’m trying to get tptp from there now 
thanks.
Ok, i tried, but i have had bad luck 
there is a broken dependece
Delete Eclipse completely.
Reinstall it.
Go to Help->Software updates.
Install EVERYTHING under Callisto.
It WILL work but installation size is huge. Eclipse’s 110MB download doesn’t even compare.
Also on another note, don’t profile JUnit tests, it doesn’t work.