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"
(→Quicklinks) |
(→Quicklinks) |
||
| Line 10: | Line 10: | ||
| TPTP [http://www.eclipse.org/tptp/ home page]||Look here for information about TPTP projects, user resources and participation. | | TPTP [http://www.eclipse.org/tptp/ home page]||Look here for information about TPTP projects, user resources and participation. | ||
|- | |- | ||
| − | | style="background:lightgrey"| | + | | style="background:lightgrey"|http://www.eclipse.org/tptp/home/project_info/meetings_events/index.html| Meetings] || style="background:lightgrey"| |
* TPTP face to face meetings | * TPTP face to face meetings | ||
* PMC meeting - group PMC minutes | * PMC meeting - group PMC minutes | ||
Revision as of 11:31, 26 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 home page | Look here for information about TPTP projects, user resources and participation. |
| http://www.eclipse.org/tptp/home/project_info/meetings_events/index.html%7C 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 TPTP wiki information |