Skip to main content

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.

Jump to: navigation, search

Difference between revisions of "Design Documents BtM TPTP 4.4"

Line 8: Line 8:
  
 
A slightly advanced TPTP design document: [[bugzilla_template_advanced]]
 
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:23, 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:

Back to the top