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) |
(→Quicklinks) |
||
Line 16: | Line 16: | ||
* Project meetings | * Project meetings | ||
|- | |- | ||
− | | style="background:lightgrey"|[http://www.eclipse.org/tptp/home/project_info/general/mailnews.html Mailing | + | | style="background:lightgrey"|[http://www.eclipse.org/tptp/home/project_info/general/mailnews.html Mailing list and news groups] || style="background:lightgrey"| |
− | + | Go here to participate in discussions relating to the TPTP Project. | |
|- | |- | ||
| style="background:lightgrey"| Possible TPTP sandbox efforts || style="background:lightgrey"| The following is a list a set of proposal discussions: | | style="background:lightgrey"| Possible TPTP sandbox efforts || style="background:lightgrey"| The following is a list a set of proposal discussions: |
Revision as of 08:35, 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 |
|
Mailing list and news groups |
Go here to participate in discussions relating to the TPTP Project. |
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 |