Tuesday, June 21, 2005 05:52 AM
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?