Hi,
The eclipse Europa and TPTP are available as two different (gigantic) downloads. How can i use all the TPTP features from the Europa? The eclipse update manager could be one of the option but it doesnt show me all the TPTP features from Europa. I have also tried downloading the runtime of TPTP and unzipping it in Europa's relevant plugins & features directory but it didnt work. Please help.
regards