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 "Design Documents BtM TPTP 4.4"
| Line 3: | Line 3: | ||
Here are some template documents: | Here are some template documents: | ||
| − | [[ | + | A TPTP design document we made for 4.2: [[bugzilla_145058]] |
| − | [[bugzilla_template_advanced]] | + | A simple TPTP design document from bugzilla: [[bugzilla_template_simple]] |
| + | |||
| + | A slightly advanced TPTP design document: [[bugzilla_template_advanced]] | ||
Here are the actual design documents: | Here are the actual design documents: | ||
Revision as of 02:08, 12 December 2006
TPTP 4.4 Design documents are kept here linked by the bugzilla ID.
Here are some template documents:
A TPTP design document we made for 4.2: bugzilla_145058
A simple TPTP design document from bugzilla: bugzilla_template_simple
A slightly advanced TPTP design document: bugzilla_template_advanced
Here are the actual design documents: