Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
File:SMLTPTPDownloads.png
SMLTPTPDownloads.png (297 × 110 pixels, file size: 5 KB, MIME type: image/png)
Shows exactly which TPTP files to install, since others one might think would work based on their description do not have the right contents.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 18:36, 21 October 2008 | 297 × 110 (5 KB) | Johnarwe.us.ibm.com (Talk | contribs) | Circled the correct 2 files this time. | |
18:29, 21 October 2008 | No thumbnail | 0 × 0 (5 KB) | Johnarwe.us.ibm.com (Talk | contribs) | Shows exactly which TPTP files to install, since others one might think would work based on their description do not have the right contents. |
- You cannot overwrite this file.
File usage
The following page links to this file: