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?