TPTP CVS Infrastructure
Task documentation
Checking out the TPTP web site from CVS


 1. Turn to the CVS Repository perspective: Window > Open Perspective > Other... > CVS Repository Exploring

2. In the CVS Repositories view, right click and select New > Repository Location ...

3. Fill in the wizard with the values as demonstrated in this image.
  • If you are not a TPTP committer, use the same values as the image.
  • If you are a TPTP committer, then type in your CVS userid and password and use connection type extssh.
Host: dev.eclipse.org Repository path: /home/cvs/org.eclipse User: anonymous Connection type: pserver Use default port: true Validate Connection on finish: true

4. Click Finish.

5. Highlight the "tptp" folder in the tree structure below ( the tptp folder is not visible in this image but is located under the www folder ):
Expand the new location, then the HEAD, then the www folder, and highlight the tptp subfolder.

6. Right-click on the "tptp" folder and click "Checkout". The folder will be checked out into your workspace.