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.
Difference between revisions of "TPTP"
m (→Quicklinks) |
m (→Quicklinks) |
||
Line 18: | Line 18: | ||
| [http://www.eclipse.org/tptp/home/project_info/general/mailnews.html Mailing list and news groups] || Go here to participate in discussions relating to the TPTP Project. | | [http://www.eclipse.org/tptp/home/project_info/general/mailnews.html Mailing list and news groups] || Go here to participate in discussions relating to the TPTP Project. | ||
|- | |- | ||
− | | style="background:lightgrey"| | + | | style="background:lightgrey"| TPTP sandbox || style="background:lightgrey"| There are always ideas that don't get into a plan for various reasons, the main one being resource limitation and different priorities. |
*Contribute to the project by adding here any items you would like to see discussed and/or implemented within the TPTP project. We'll use this page as a sandbox for experimenting with new ideas and trying to promote them to the main stream. | *Contribute to the project by adding here any items you would like to see discussed and/or implemented within the TPTP project. We'll use this page as a sandbox for experimenting with new ideas and trying to promote them to the main stream. | ||
Revision as of 12:52, 22 February 2007
These wiki pages are used to list the TPTP development discussions and other documents intended for the TPTP development team. For information on project content and download information please visit the TPTP home page http://www.eclipse.org/tptp/
Quicklinks
Resource | Description |
---|---|
TPTP home page | Look here for information about TPTP projects, user resources and participation. |
Meetings |
|
Mailing list and news groups | Go here to participate in discussions relating to the TPTP Project. |
TPTP sandbox | There are always ideas that don't get into a plan for various reasons, the main one being resource limitation and different priorities.
|
Miscellaneous | This page provides a list of TPTP specific wiki items. |
Archived information |
Previously posted TPTP wiki information |