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 shown in this image:
Host: dev.eclipse.org Repository path: /home/tptp User: your_userid Password: ********* Connection type: extssh Use default port: true Validate Connection on finish: true
4. Click Finish.
5. Expand the new location, then the HEAD, then one of the four project folders: monitoring, platform, test, or trace.
Expand the new location, then the HEAD, then one of the four project folders..
6. Select as many plug-ins as you want to check out, right-click, and select Check Out. The folder(s) will be checked out into your workspace.