Using Eclipse TPTP with Europa
0 posts in topic
Flat View  Flat View

Posted By:   Ahsan_Sameer
Posted On:   Tuesday, July 8, 2008 12:11 AM

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.

About | Sitemap | Contact