Problems with Eclipse TPTP installation
0 posts in topic
Flat View  Flat View
TOPIC ACTIONS:
 

Posted By:   Anonymous
Posted On:   Tuesday, June 21, 2005 05:52 AM

Hi.

I am relatively new to Eclipse and have just installed the TPTP project into the relevant directory. However, I cannot seem to get at the TPTP workbench; I cannot open views/perspectives. I have followed the (limited) instructions on the website.

"Window > Open perspective > other" does not list the perspective.

"Window > Preferences -> General > Perspectives" does not list the perspective

Can anyone shed some light on this?

About | Sitemap | Contact