Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP"
(→Quicklinks) |
|||
Line 16: | Line 16: | ||
* Project meetings | * Project meetings | ||
|- | |- | ||
− | | Possible TPTP sandbox efforts || | + | | Possible TPTP sandbox efforts || The following is a list a set of proposal discussions: |
− | * | + | * (no proposed items posted) |
− | + | ||
− | + | ||
|- | |- | ||
− | | style="background:lightgrey"| [[TPTP_Miscellaneous|Miscellaneous]] || style="background:lightgrey"| | + | | style="background:lightgrey"| [[TPTP_Miscellaneous|Miscellaneous]] || style="background:lightgrey"|This page provides a list of TPTP specific wiki items. |
|- | |- | ||
| [[TPTP_Archive|Archived information]] ||Previously posted information | | [[TPTP_Archive|Archived information]] ||Previously posted information | ||
|} | |} |
Revision as of 08:27, 25 January 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 main page | Look here for information about TPTP projects, user resources and participation. |
Meetings |
|
Possible TPTP sandbox efforts | The following is a list a set of proposal discussions:
|
Miscellaneous | This page provides a list of TPTP specific wiki items. |
Archived information | Previously posted information |