Skip to main content
Jump to: navigation, search

Design Documents BtM TPTP 4.4

Revision as of 04:00, 10 January 2007 by (Talk | contribs) (WSDM Tooling)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A simple TPTP design document from bugzilla: bugzilla_template_simple

A slightly advanced TPTP design document: bugzilla_template_advanced

A sample TPTP design document we made for 4.2: bugzilla_145058

Here are the actual design documents for TPTP 4.4 Stage 1 (Iterations 1 and 2):

Back to the top